110 search results - page 7 / 22 » Software Process Synthesis in Assurance Based Development of... |
218
Voted
AOSE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
162
Voted
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
166
Voted
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...
186
Voted
ICST
2008
IEEE
16 years 23 days ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
168
Voted
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...