406 search results - page 21 / 82 » Semantic Modelling in Agent-Based Software Development |
113
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
109
Voted
ENTCS
2007
15 years 2 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
119
click to vote
IFM
1999
Springer
15 years 6 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
107
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
110
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...