3799 search results - page 156 / 760 » An Engineering Approach to Formal Methods |
139
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
177
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
131
click to vote
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
140
click to vote
ECBS
1997
IEEE
15 years 8 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
128
click to vote
AAMAS
2010
Springer
15 years 4 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...