3828 search results - page 2 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ISSRE
2010
IEEE
13 years 4 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
VR
1999
IEEE
13 years 10 months ago
1999
IEEE
The Virtual Assembly Design Environment (VADE) is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechan...
WOSP
2010
ACM
14 years 14 days ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
RE
2001
Springer
13 years 10 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
ISMAR
2008
IEEE
14 years 1 days ago
2008
IEEE
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...