2118 search results - page 223 / 424 » Execution of A Requirement Model in Software Development |
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
190
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
206
click to vote
PDP
2007
IEEE
16 years 24 days ago
2007
IEEE
Heterogeneous distributed computing platforms continue to require substantial effort in terms of software installation and management for efficient use, often necessitating manua...
169
click to vote
AOSE
2005
Springer
16 years 2 days ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...