Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Formal Specification for Online Food Ordering System Using Z Language
The formal specification for the inventory system using Z language
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
Formal Specification with the Java Modeling Language
The Application of Wireless Food Ordering System
A MultiView Approach for Formalizing UML State Machine Diagrams Using Z Notation
Bridging the Gap between Natural Language Requirements and Formal Specifications
The Command Language Grammar: a representation for the user interface of interactive computer systems
Formal Specifications and Test: Correctness and Oracle
Smart Menu Ordering System in Restaurant Prema
A general framework for formalizing UML with formal languages
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
Automated Food Ordering System with Real-Time Customer Feedback
Formal hardware specification languages for protocol compliance verification
36 F . E-Commerce Standard Users Interface : Design and Implementation
Preliminary design of JML: a behavioral interface specification language for java
English as a formal specification language
Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns
Layout Design of a Furniture Production Line Using Formal Methods
A Proposed System for Touchpad Based Food Ordering System Using Android Application
A Case Study upon Non-functional Requirements of Online Banking System
Traffic jams without bottlenecks—experimental evidence for the physical mechanism of the formation of a jam
Understanding Z: A Specification Language and its Formal Semantics
Second in Command: The Misunderstood Role of the Chief Operating Officer
A Dynamic Stakeholder Classification and Prioritization Based on Hybrid Rough-fuzzy Method
A Pseudo-Response Regulator is misexpressed in the photoperiod insensitive Ppd-D1a mutant of wheat (Triticum aestivum L.)