Sciweavers

770 search results - page 49 / 154
» Experience in e-Science Requirements Engineering
Sort
View
MOMPES
2009
IEEE
14 years 4 months ago
ArcheOpterix: An extendable tool for architecture optimization of AADL models
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
Aldeida Aleti, Stefan Björnander, Lars Grunsk...
ICSE
2000
IEEE-ACM
14 years 1 months ago
Verification of time partitioning in the DEOS scheduler kernel
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...
ICSE
2005
IEEE-ACM
14 years 10 months ago
Do students recognize ambiguity in software design? a multi-national, multi-institutional report
Successful software engineering requires experience and acknowledgment of complexity, including that which leads designers to recognize ambiguity within the software design descri...
Ken Blaha, Alvaro E. Monge, Dean Sanders, Beth Sim...
ICSE
1998
IEEE-ACM
14 years 2 months ago
An Adaptable Generation Approach to Agenda Management
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
TPCTC
2009
Springer
190views Hardware» more  TPCTC 2009»
14 years 4 months ago
A Performance Study of Event Processing Systems
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques