Sciweavers

7202 search results - page 208 / 1441
» Software System Engineering: A Tutorial
Sort
View
MODELS
2007
Springer
16 years 19 days 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
IWPC
2002
IEEE
15 years 11 months ago
Slicing Aspect-Oriented Software
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
Jianjun Zhao
SIGSOFT
2004
ACM
16 years 7 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
EWSA
2005
Springer
16 years 1 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
ICSE
2007
IEEE-ACM
16 years 6 months ago
Spotlight: A Prototype Tool for Software Plans
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
David Coppit, Robert R. Painter, Meghan Revelle