13099 search results - page 34 / 2620 » Cooperative method development |
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
DMS
2008
13 years 9 months ago
2008
A root cause is a source of a defect such that if it is removed, the defect is subsequently decreased or removed. By analyzing the root causes of defects of our software projects,...
GI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
HT
1999
ACM
14 years 7 days ago
1999
ACM
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...