Sciweavers

ICSE
2007
IEEE-ACM
14 years 11 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. ...
ICSE
2007
IEEE-ACM
14 years 11 months ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
ICSE
2007
IEEE-ACM
14 years 11 months ago
The Challenges of Building Advanced Mechatronic Systems
Wilhelm Schäfer, Heike Wehrheim
ICSE
2007
IEEE-ACM
14 years 11 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
ICSE
2007
IEEE-ACM
14 years 11 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
14 years 11 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é...