Sign in
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.
Marco Brambilla
Alin Deutsch
Liying Sui
Victor Vianu
Published in:
ICWE (2005)
Keyphrases
</>
web applications
model view controller
design patterns
end users
model checking
formal methods
lightweight
design decisions
design process
web services
application developers
design principles
case study
business logic
web application development
user interface
multimedia