Sciweavers

ICSE
2007
IEEE-ACM
16 years 19 days 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. ...
84
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
75
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
The Challenges of Building Advanced Mechatronic Systems
Wilhelm Schäfer, Heike Wehrheim
64
Voted
ICSE
2007
IEEE-ACM
16 years 19 days ago
Software Design and Architecture The once and future focus of software engineering
André van der Hoek, Richard N. Taylor
83
Voted
ICSE
2007
IEEE-ACM
16 years 19 days 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
96
Voted
ICSE
2007
IEEE-ACM
16 years 19 days 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
86
Voted
ICSE
2007
IEEE-ACM
16 years 19 days 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é...