Sciweavers

1304 search results - page 106 / 261
» Model-Driven Engineering for Requirements Analysis
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 4 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
SERA
2007
Springer
15 years 4 months ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
APVIS
2004
14 years 11 months ago
A Survey, Classification and Analysis of Perceptual Concepts and their Application for the Effective Visualisation of Complex In
Information visualisation has become increasingly important in science, engineering and commerce as a tool to convey and explore complex sets of information. This paper introduces...
Burkhard Wünsche
WER
2007
Springer
15 years 4 months ago
Analyzing Problem Frames together with Solution Patterns
The Problem Frames approach defines identifiable problem classes based on, among other things, their context and the characteristics of their domains, interfaces and requirements,...
Ellen Souza, Maria Lencastre, Renata Cristina Fara...
CSEE
2006
Springer
15 years 1 months ago
Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
Anne Comer, Helen M. Edwards