565 search results - page 54 / 113 » A (De)constructive Approach to Program Checking |
ACSC
2007
IEEE
14 years 3 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was ļ¬rst alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a programā...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal ļ¬ags and in interactions with devices. Decision making within an operating system thus critically de...
CJ
2004
13 years 8 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
ASE
1999
13 years 8 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...