Enriching Java Enterprise interfaces with formal sequential contracts.
Marco MüllerMoritz BalzMichael GoedickePublished in: BM-FA (2011)
Keyphrases
- sun microsystems
- enterprise systems
- formal model
- supply chain
- programming language
- information management
- object oriented
- open source
- development environment
- object oriented languages
- java programs
- source code
- lightweight
- databases
- java applets
- java code
- enterprise edition
- human computer interaction
- virtual enterprise
- formal methods
- data management
- web applications
- knowledge management
- user interface
- case study
- information systems