1675 search results - page 55 / 335 » Compositional Model-Based Design |
APPINF
2003
13 years 11 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanā...
VSTTE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of speciļ¬cation and veriļ¬cation challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...