Sciweavers

TACS
1994
Springer
14 years 1 months ago
Separate Abstract Interpretation for Control-Flow Analysis
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 ...
Yan Mei Tang, Pierre Jouvelot
CSEE
1994
Springer
14 years 1 months ago
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University
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...
Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, Da...
ICSQP
1994
13 years 11 months ago
Software Quality and Productivity Improvement
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...
R. Geoff Dromey
DAGSTUHL
1994
13 years 11 months ago
A Distributed Control Architecture for Autonomous Robot Systems
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...
Thomas Laengle, Tim Lüth, Ulrich Rembold
ICSE
1994
IEEE-ACM
14 years 1 months ago
Software Reuse - Facts and Myths
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 ...
Kevin D. Wentzel
Software Engineering
Top of PageReset Settings