2409 search results - page 371 / 482 » Logical systems for structured specifications |
119
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
146
Voted
WSC
1997
15 years 5 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
136
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
127
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...
131
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...