Sciweavers

754 search results - page 92 / 151
» Requirements for Automotive System Engineering Tools
Sort
View
151
Voted
IS
1998
15 years 3 months ago
Information Modeling in the Time of the Revolution
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
John Mylopoulos
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
104
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
Negative scenarios for implied scenario elicitation
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
129
Voted
FIW
2007
120views Communications» more  FIW 2007»
15 years 5 months ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
121
Voted
SOFTWARE
2002
15 years 3 months ago
Facing Fault Management as It Is, Aiming for What You Would Like It to Be
Telecommunication systems are built with extensive redundancy and complexity to ensure robustness and quality of service. Such systems requires complex fault identification and man...
Roy Sterritt