831 search results - page 117 / 167 » Software architecture critics in the Argo design environment |
150
click to vote
RV
2009
Springer
15 years 5 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
101
click to vote
ISARCS
2010
15 years 3 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
119
click to vote
FLAIRS
2010
15 years 3 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
123
click to vote
FCCM
2005
IEEE
15 years 7 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
138
click to vote
TCS
2002
15 years 1 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...