Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.

Michihiro Matsumoto Kokichi Futatsugi

Published in: ICFEM (2000)

Keyphrases

highly reliable
component based software development
software development
high level
software evolution
specification language
formal specification
algebraic expressions
higher order
software systems
model checking
formal verification
behavioral patterns
web services composition