875 search results - page 3 / 175 » Specification Modules for Methodical System Development |
82
Voted
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
107
click to vote
CADE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
JLP
2006
14 years 9 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
ECIS
2000
14 years 11 months ago
2000
Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...
JUCS
2002
14 years 9 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...