1601 search results - page 131 / 321 » The affordable application of formal methods to software eng... |
FM
2006
Springer
14 years 28 days ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...