89 search results - page 16 / 18 » Generating operation specifications from UML class diagrams:... |
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
CAISE
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
CSMR
1998
IEEE
13 years 11 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
IJCAT
2010
13 years 6 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...