Tools for Producing Formal specifications: A view of Current Architectures and Future Directions.

Sunil Vadera Farid Meziane

Published in: Ann. Softw. Eng. (1997)

Keyphrases

future directions
formal specification
current challenges
current status
lessons learned
formal methods
object oriented design
specification language
current trends
specification languages
multimedia
model checking
advanced technologies
information systems
social sciences
business rules