3837 search results - page 102 / 768 » Concurrent Engineering support in Software Engineering |
149
click to vote
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
150
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
109
click to vote
ICESS
2007
Springer
15 years 9 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
176
click to vote
ICSE
1995
IEEE-ACM
15 years 6 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
137
click to vote
VMCAI
2010
Springer
16 years 15 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...