Sciweavers

142 search results - page 5 / 29
» Pragmatic Consistency Management in Industrial Requirements ...
Sort
View
RE
1997
Springer
13 years 11 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
DEXAW
1998
IEEE
131views Database» more  DEXAW 1998»
13 years 11 months ago
A Reference Model and Software Support for Bid Preparation in Supply Chains in the Construction Industry
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...
Mathias Krömker, Frithjof Weber, Viktoria Ste...
JNSM
2010
166views more  JNSM 2010»
13 years 2 months ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
TSE
1998
115views more  TSE 1998»
13 years 7 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
DAGSTUHL
2006
13 years 8 months ago
A Model-Based Approach To Requirements Analysis
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
Bernhard Schätz, Eva Geisberger, Johannes Gr&...