3765 search results - page 50 / 753 » Formal Methods for Systems Engineering Behavior Models |
HOPL
2007
14 years 17 days ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
ASWEC
1998
IEEE
14 years 29 days ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
JIT
2004
Springer
14 years 2 months ago
2004
Springer
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
FORTEST
2008
13 years 10 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...