The liberty structural specification language: a high-level modeling language for component reuse.
Manish VachharajaniNeil VachharajaniDavid I. AugustPublished in: PLDI (2004)
Keyphrases
- modeling language
- specification language
- high level
- programming language
- low level
- formal specification
- metamodel
- description language
- software development process
- uml profile
- declarative language
- software components
- design rationale
- software reuse
- language constructs
- software engineering
- educational modeling languages
- database
- software environment
- code generation
- learning objects
- metadata
- artificial intelligence
- formal methods
- constraint language
- business process modeling
- general purpose