Sciweavers

2384 search results - page 189 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
Encoding Program Executions
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
Steven P. Reiss, Manos Renieris
TASE
2008
IEEE
15 years 5 months ago
Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Z...
RE
2008
Springer
15 years 6 months ago
Value-driven Service Matching
Electronic service bundles such as Internet access and Voice over IP become increasingly important for the economy. The requirements engineering problem is how to compose an e-ser...
Jaap Gordijn, Sybren de Kinderen, Roel Wieringa
ICST
2008
IEEE
16 years 26 days ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
ICFEM
2004
Springer
15 years 12 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...