1121 search results - page 64 / 225 » Building Formal Requirements Models for Reliable Software |
110
click to vote
ENTCS
2006
14 years 12 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
101
click to vote
ENTCS
2007
14 years 11 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
ENTCS
2006
14 years 12 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
106
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...