518 search results - page 25 / 104 » Specification, Implementation, and Validation of Object-Orie... |
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
117
click to vote
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
79
Voted
ARVLSI
1999
IEEE
15 years 2 months ago
1999
IEEE
Application-specific processor design is a promising approach for meeting the performance and cost goals of a system. Application-specific processors are especially promising for ...
100
Voted
ASWEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
104
click to vote
SIES
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...