Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP
Krit SalahddineJalal LaassiriSaid El HajjiPublished in: CoRR (2012)
Keyphrases
- software engineering
- formal methods
- main contribution
- programming language
- artificial intelligence
- specification language
- model driven
- application specific
- conceptual model
- software architecture
- theoretical framework
- temporal logic
- design patterns
- software systems
- software development
- information systems
- data sets
- code generation
- object oriented software engineering