Sciweavers

4919 search results - page 202 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
127
Voted
APSEC
2007
IEEE
15 years 10 months ago
E-AoSAS++ and its Software Development Environment
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Ma...
DAC
2002
ACM
16 years 4 months ago
Model design using hierarchical web-based libraries
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
Fabrice Bernardi, Jean François Santucci
117
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
Fluent-based web animation: exploring goals for requirements validation
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
Robert Chatley, Sebastián Uchitel, Jeff Kra...
109
Voted
RE
2005
Springer
15 years 9 months ago
Modelling Assumptions and Requirements in the Context of Project Risk
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
Andriy V. Miranskyy, Nazim H. Madhavji, Matthew Da...
115
Voted
ICSE
1994
IEEE-ACM
15 years 7 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...