9006 search results - page 126 / 1802 » Modeling Software |
113
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
130
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
125
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
176
Voted
VLSID
1999
IEEE
15 years 6 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
110
click to vote
VL
2007
IEEE
15 years 8 months ago
2007
IEEE
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...