466 search results - page 56 / 94 » An Approach to Self-adaptive Software Based on Supervisory C... |
114
click to vote
WWW
2005
ACM
16 years 14 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
103
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
SEE
1997
Springer
15 years 4 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
113
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...