On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support.
Lucinéia ThomCirano IochpeManfred ReichertBarbara WeberMatthias DroopGleison Samuel do NascimentoCarolina Ming ChiaoPublished in: Braz. J. Inf. Syst. (2008)
Keyphrases
- formal semantics
- tool support
- activity patterns
- case study
- software development
- software tools
- operational semantics
- modelling language
- logical reasoning
- logical language
- software projects
- formal language
- open source
- software engineering
- real world
- information systems
- owl dl ontology
- modeling language
- design decisions
- first order logic
- object oriented