TACS
14 years 1 months ago
1994 Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
CSEE
14 years 1 months ago
1994 Springer
This paper describes the experience obtained at George Mason University while developing a Master of Science program in software engineering. To date, the program has graduated ov...
ICSQP
13 years 11 months ago
1994
For there to be order-of-magnitude improvements in the quality of software and the productivity of software development and evolution there needs to be a much more strategic appro...
DAGSTUHL
13 years 11 months ago
1994
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...
ICSE
14 years 1 months ago
1994 IEEE-ACM
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
|