Preliminary design of a unified JML representation and software infrastructure.

Robby Patrice Chalin

Published in: FTfJP@ECOOP (2009)

Keyphrases

software architecture
design concepts
user interface
software design
design tools
design patterns
software tools
building blocks
data collection
software development
design principles
neural network
design methodology
intellectual property
cost effectiveness
modeling tool
reference architecture
case study