Directions of Using UML for Software Specification: An Overview.
Manish NilawarKedar DeshpandePublished in: Software Engineering Research and Practice (2003)
Keyphrases
- software systems
- formal methods
- requirements specification
- software development
- uml diagrams
- specification language
- software design
- software architecture
- modeling language
- state machine
- requirements engineering
- software requirements
- software engineering
- tool suite
- uml profile
- software maintenance
- software tools
- computer systems
- formal specification
- source code
- software quality
- high level
- unified modeling language
- software engineers
- development process
- control flow
- testing process
- reverse engineering
- software development process
- metamodel
- model checking
- database design
- database systems
- information systems
- highly modular