1676 search results - page 47 / 336 » Formal System Development with KIV |
144
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
133
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
149
click to vote
JOT
2007
15 years 3 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
121
click to vote
CAISE
1997
Springer
15 years 8 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...