Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.
Egon BörgerRobert F. StärkPublished in: FMCO (2003)
Keyphrases
- case study
- high level
- open source
- object oriented design
- formal specification
- reusable components
- programming language
- source code
- software development
- sun microsystems
- object oriented programs
- development environment
- real world
- specification languages
- object oriented
- learning objects
- lightweight
- user defined
- java programs
- specification language
- development process
- lessons learned
- object oriented programming
- web applications
- cross platform
- test cases
- distributed object
- database systems
- byte code
- web services
- practical guidelines
- java applets
- databases