Sciweavers

5180 search results - page 207 / 1036
» Requirements Engineering
Sort
View
MODELS
2007
Springer
15 years 10 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
ICSE
2010
IEEE-ACM
15 years 9 months ago
Runtime repair of software faults using event-driven monitoring
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
Chris Lewis 0002, Jim Whitehead
ICSE
2010
IEEE-ACM
15 years 8 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
MKWI
2008
145views Business» more  MKWI 2008»
15 years 5 months ago
Bringing Developers and Users Closer Together: The OpenProposal Story
: Even though end-user participation in requirements engineering (RE) is highly important, it is at present not frequently used. Reasons can be found in the large expenditure of ti...
Asarnusch Rashid, Jan Wiesenberger, David Meder, J...
ICSE
2000
IEEE-ACM
15 years 7 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini