Login / Signup
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
Nikolaos Triantafyllou
Petros S. Stefaneas
Panayiotis Frangos
Published in:
CoRR (2012)
Keyphrases
</>
case study
functional requirements
optimal design
design methodology
information systems
high level
combining multiple
design process
software architecture
design requirements
design principles
design patterns
computer aided
real time
supply chain
control system
user interface
artificial intelligence