Sciweavers

150
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
110
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Model-driven Development of Complex Software: A Research Roadmap
Robert B. France, Bernhard Rumpe
161
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Software Testing Research: Achievements, Challenges, Dreams
Antonia Bertolino
104
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
97
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
The Challenges of Building Advanced Mechatronic Systems
Wilhelm Schäfer, Heike Wehrheim
106
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
A Future for Software Engineering?
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
Leon J. Osterweil
122
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Collaboration in Software Engineering: A Roadmap
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
Jim Whitehead
ICSE
2007
IEEE-ACM
16 years 3 months ago
A Perspective on the Future of Middleware-based Software Engineering
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
Mauro Caporuscio, Nikolaos Georgantas, Valé...