A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Experiences with Behavioural Process Modelling in FEAST, and Some of Its Practical Implications
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Layered architecture(s): principles and practice in concurrent and distributed systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |