Loading...
Please wait, while we are loading the content...
Similar Documents
Extracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans
Content Provider | Semantic Scholar |
---|---|
Author | Milanovic, Nikola Malek, Miroslaw |
Copyright Year | 2004 |
Abstract | We explore possibility of manual and automated contract extraction from Java classes and Enterprise Java Beans. Contracts are extended component interfaces that are defined using Contract Definition Language. They describe functional and non-functional properties. We examine how to extract hidden contracts and express them formally,modeling software components as abstract machines, hoping to achieve increased dependability at the early phases of the software development lifecycle, and to support easy and safe reuse of components later. Indexed terms: contracts, components, composition, reuse, formal specification |
File Format | PDF HTM / HTML |
Alternate Webpage(s) | https://www.cs.kent.ac.uk/events/conf/2004/wads/DSN-WADS2004/Papers/milanovic.pdf |
Alternate Webpage(s) | http://www2.informatik.hu-berlin.de/~milanovi/milanovic-wads.pdf |
Language | English |
Access Restriction | Open |
Content Type | Text |
Resource Type | Article |