Formal Techniques for OO Software Development (Panel).
Dennis de ChampeauxPierre AmericaDerek ColemanRoger DukeDoug LeaGary T. LeavensFiona HayesPublished in: OOPSLA (1991)
Keyphrases
- software development
- software engineering
- object oriented
- programming language
- development process
- formal methods
- software systems
- object oriented databases
- case study
- software projects
- software developers
- formal model
- software development effort
- software design
- conceptual modeling
- data model
- effort estimation
- development lifecycle
- object oriented modeling
- cost estimation
- conceptual models
- design methodology
- software testing
- software architecture
- knowledge management
- software quality
- database
- software industry
- software maintenance
- life cycle
- object orientation
- pair programming
- object oriented technology
- agile software development
- extreme programming
- databases