803 search results - page 125 / 161 » Building Formal Models for Software Requirements |
127
click to vote
TOMACS
1998
15 years 1 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
122
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
84
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
143
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
148
Voted
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....