Early Verification of Software Behavior in a Time Interval Framework.

Paulo Sérgio Muniz Silva

Published in: SBES (2003)

Keyphrases

software development
main contribution
software architecture
analysis tool
genetic algorithm
information systems
website
lightweight
software systems