Sciweavers

3943 search results - page 23 / 789
» Architecture-Level Requirements Specification
Sort
View
IJSEKE
2002
91views more  IJSEKE 2002»
15 years 5 months ago
A Compositional Knowledge Level Process Model of Requirements Engineering
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
Daniela E. Herlea, Catholijn M. Jonker, Jan Treur,...
ER
2009
Springer
79views Database» more  ER 2009»
15 years 12 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
CAISE
2005
Springer
15 years 11 months ago
Organizational Model to Derive Multi-Agent Architecture from Requirements
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
410
Voted
JTRES
2010
ACM
15 years 5 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
190
Voted
CASES
2007
ACM
15 years 9 months ago
INTACTE: an interconnect area, delay, and energy estimation tool for microarchitectural explorations
Prior work on modeling interconnects has focused on optimizing the wire and repeater design for trading off energy and delay, and is largely based on low level circuit parameters....
Rahul Nagpal, Arvind Madan, Bharadwaj Amrutur, Y. ...