795 search results - page 136 / 159 » A Formal Approach to Heterogeneous Software Modeling |
SIGSOFT
2009
ACM
14 years 3 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
FMCAD
2006
Springer
14 years 3 days ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
TSE
2012
11 years 11 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...