Petri nets: an introduction
ACM Transactions on Graphics (TOG)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Nesting in an object-oriented language is not for the birds
on ECOOP '88 (European Conference on Object-Oriented Programming)
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
A systematic catalogue of reusable abstract data types
A systematic catalogue of reusable abstract data types
On the development of reactive systems
Logics and models of concurrent systems
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
A compositional axiomatization of Statecharts
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
The abstraction-link-view paradigm: using constraints to connect user interfaces to applications
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Rita—an editor and user interface for manipulating structured documents
Electronic Publishing—Origination, Dissemination, and Design
Separations of concerns in the Chiron-1 user interface development and management system
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
Practical Formal Methods with VDM
Practical Formal Methods with VDM
User-Interface Management Control and Communication
IEEE Software
Programming Environments for End-Users
Proceedings of the IFIP 12th World Computer Congress on Personal Computers and Intelligent Systems - Information Processing '92 - Volume 3 - Volume 3
Formal specification of reusable interface objects
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Hi-index | 0.00 |
This paper introduces ADVcharts, a new visual formalism for specifying the behavior of interactive systems in terms of state machines. ADV charts combine the concepts and notations of Abstract Data Views, Objectcharts, Statecharts, Petri-nets, and Calculus of Concurrent Systems. ADVcharts were created to provide a formal semantics for Abstract Data Views---a new design concept for user interfaces---, while also serving as a foundation for a future design methodology for interactive systems. The semantics of ADVcharts are presented through an example.The paper concludes by demonstrating that VDM-like specifications can be derived directly from ADVcharts, thus providing the Abstract Data Views concept with both visual and textual modes of formal description.