959 search results - page 56 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
APSEC
1999
IEEE
14 years 12 days ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
CMOT
2011
12 years 11 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
CSIE
2009
IEEE
13 years 9 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a chan...