Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language.
Sriram SankarPublished in: AMAST (1996)
Keyphrases
- formal methods
- software engineers
- software engineering
- definition language
- software maintenance
- formal specification
- source code
- software systems
- object oriented
- knowledge based systems
- reverse engineering
- data model
- database applications
- database
- database design
- software components
- software development
- relational databases
- case study
- information systems
- artificial intelligence