113 search results - page 8 / 23 » Software Hardware Engineering with the Parallel Object-Orien... |
SIGSOFT
1996
ACM
15 years 3 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
92
Voted
HPCN
2000
Springer
15 years 3 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
DAGSTUHL
2006
15 years 1 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
132
click to vote
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...