1200 search results - page 73 / 240 » The Problem Frames Approach to Software Engineering |
EUROMICRO
2004
IEEE
14 years 15 days ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...