4799 search results - page 453 / 960 » Model Based Requirements Engineering for Embedded Software |
182
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
191
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
194
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
190
click to vote
WOSP
2005
ACM
16 years 13 days ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
162
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...