795 search results - page 32 / 159 » A Formal Approach to Heterogeneous Software Modeling |
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
81
Voted
ASWEC
2000
IEEE
15 years 4 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
198
Voted
AMAST
2010
Springer
14 years 7 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
118
Voted
SEKE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
124
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...