1487 search results - page 214 / 298 » On Validating Engineering Design Decision Support Tools |
141
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
163
click to vote
ICIDS
2010
Springer
15 years 2 months ago
2010
Springer
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
139
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 11 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
146
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
176
click to vote
ASWSD
2004
Springer
15 years 10 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...