Java as a specification language for hardware-software systems.
Rachid HelaihelKunle OlukotunPublished in: ICCAD (1997)
Keyphrases
- software systems
- specification language
- programming language
- source code
- software engineering
- component based software
- embedded systems
- formal specification
- requirements specification
- open source
- software components
- software design
- object oriented
- description language
- software development
- software architecture
- software maintenance
- software engineers
- general purpose
- high level
- metamodel
- software projects
- linux kernel
- design patterns
- software evolution
- software developers
- database applications
- computer systems
- multi agent systems
- software repositories
- database
- model checking
- development environment
- web applications
- requirements engineering
- functional requirements
- systems development
- cooperative
- artificial intelligence
- real world
- databases