Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).
Sriram SankarPublished in: FMOODS (1999)
Keyphrases
- formal methods
- invited talk
- software engineering
- software development process
- modeling language
- model checking
- object oriented
- artificial intelligence
- knowledge based systems
- formal specification
- software development
- selected papers
- web applications
- machine learning
- software systems
- life cycle
- data analysis
- database applications
- reverse engineering
- knowledge discovery and data mining
- software design
- case study