Journal of the ACM (JACM)
Object-oriented software engineering
Object-oriented software engineering
Developing user interfaces: ensuring usability through product & process
Developing user interfaces: ensuring usability through product & process
A classical mind
Merging behavior specifications
Formal Methods in System Design
Activity theory as a potential framework for human-computer interaction research
Context and consciousness
Integrating task and software development for object-oriented applications
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Mastering the requirements process
Mastering the requirements process
Advanced use case modeling: software systems
Advanced use case modeling: software systems
Writing Effective Use Cases
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
A Model-Based Interface Development Environment
IEEE Software
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Towards a UML for Interactive Systems
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Task Modelling in Multiple Contexts of Use
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
User Interface Modeling in UMLi
IEEE Software
Testable Use Cases in the Abstract State Machine Language
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Validating Use-Cases with the AsmL Test Tool
QSIC '03 Proceedings of the Third International Conference on Quality Software
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Developing use cases and scenarios in the requirements process
Proceedings of the 27th international conference on Software engineering
Use Case Driven Object Modeling with UML: Theory and Practice
Use Case Driven Object Modeling with UML: Theory and Practice
Human-Centered Software Engineering - Integrating Usability in the Development Process (Human-Computer Interaction Series)
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Authoring pervasive multimodal user interfaces
International Journal of Web Engineering and Technology
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
LTS semantics for use case models
Proceedings of the 2009 ACM symposium on Applied Computing
Wisdom: a UML based architecture for interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Towards a UML profile for interaction design: the wisdom approach
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Practical extensions for task models
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
From task to dialog model in the UML
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
The WebTaskModel approach to web process modelling
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Software Engineering
Use case and task models: formal unification and integrated development methodology
Use case and task models: formal unification and integrated development methodology
Partial order semantics for use case and task models
Formal Aspects of Computing
Support for task modeling: a ”constructive” exploration
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Mapping concurtasktrees into UML 2.0
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Generating UML diagrams from task models
CHINZ '03 Proceedings of the 4th Annual Conference of the ACM Special Interest Group on Computer-Human Interaction
| Hi-index | 0.00 |
User Interface (UI) development methods are poorly integrated with standard software engineering practice. The differences in terms of artifacts involved, development philosophies, and lifecycles can often result in inconsistent system and UI specifications leading to duplication of effort and increased maintenance costs. To address such shortcomings, we propose an integrated development methodology for use case and task models. Use cases are generally used to capture functional requirements whereas task models specify the detailed user interactions with the UI. Our methodology can assist practitioners in developing software processes which allow these two kinds of artifacts to be developed in a codependent and integrated manner. We present our methodology, describe its semantic foundations along with a set of formal conformance relations, and introduce an automated verification tool.