Sciweavers

3024 search results - page 350 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
ICFEM
2005
Springer
16 years 16 hour ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
EGICE
2006
15 years 10 months ago
Wireless Sensing, Actuation and Control - With Applications to Civil Structures
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...
Yang Wang 0013, Jerome P. Lynch, Kincho H. Law
BPM
2008
Springer
115views Business» more  BPM 2008»
15 years 8 months ago
Workflows in Dynamic Development Processes
Process management systems are used in many domains to monitor and control processes. Development processes require specific support, which is not provided by conventional workflow...
Thomas Heer, Christoph Briem, René Wör...
FIW
2007
120views Communications» more  FIW 2007»
15 years 8 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
IADIS
2003
15 years 7 months ago
Shorter Time-To-Market Through a Pattern-Driven Architectural Framework
Developing and evolving complex Web-based systems with strict requirement for shorter time-to-market needs good and systematic engineering approaches and especially an elegant way...
Jianyun Zhou, Tor Stålhane