Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by James D Arthur
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Establishing Software Development Process Control: Technical Objectives, Operational Requirements, and the Foundational Framework
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Related publications
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
Formal Specification and Verification
Model-Based Formal Specification Directed Testing of Abstract Data Types
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
