Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model.
Janis OsisErika AsninaUldis DoninsVicente García-DíazPublished in: Appl. Comput. Syst. (2014)
Keyphrases
- formal model
- software requirements
- software architecture
- requirements specification
- systems development
- software development
- functional requirements
- software systems
- requirements engineering
- predicate calculus
- security properties
- database
- multiple views
- development process
- knowledge based systems
- software engineering
- formal models
- written in natural language
- security patterns
- design patterns
- open source
- object oriented
- cooperative
- information systems