1121 search results - page 60 / 225 » Building Formal Requirements Models for Reliable Software |
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
101
click to vote
ASAP
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
AICCSA
2001
IEEE
15 years 3 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
113
click to vote
IRI
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
UML
2005
Springer
15 years 5 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...