3799 search results - page 156 / 760 » An Engineering Approach to Formal Methods |
COMPSAC
2007
IEEE
14 years 3 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 ...
ICSM
2003
IEEE
14 years 2 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 ...
CBSQ
2003
Springer
14 years 2 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...
ECBS
1997
IEEE
14 years 1 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. ...
AAMAS
2010
Springer
13 years 9 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...