803 search results - page 43 / 161 » Building Formal Models for Software Requirements |
102
click to vote
IPPS
1994
IEEE
15 years 6 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...
130
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
94
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
106
Voted
WSC
1998
15 years 3 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
119
click to vote
IICAI
2007
15 years 3 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...