TY  - BOOK
AU  - Gacovski,Zoran
TI  - Programming language : : theory and formal methods / 
SN  - 9781774694473
AV  - QA76.7  
U1  - 005.13 
PY  - 2023///
CY  - Burlington, Ontario : 
PB  - Arcler Press, 
KW  - Computer programming.
KW  - Programming languages
N1  - Includes bibliographical references and index; Formal methods in programming -- Integrating formal methods in XP-A conceptual solution -- Formal methods for commercial applications issues vs. solutions -- Why formal methods are considered for safety critical systems -- An integration of UML sequence diagram with formal specification methods - a formal solution based on z -- Programming languages semantics -- Declarative programming with temporal constraints, in the language CG -- Lolisa: formal syntax and semantics for a subset of the solidity programming language in mathematical tool Coq -- Ontology of domains. ontological description software engineering domain - the standard life cycle -- Guidelines based software engineering for developing software components -- Intelligent agent based mapping of software requirement specification to design model -- Finite automata -- The equivalent conversion between regular grammar and finite automata -- Controllability, reachability, and stabilizability of finite automata : a controllability matrix method -- Bounded model checking of ETL cooperating with finite and looping automata connectives -- An automata-based approach to pattern matching -- Formal methods and semantics in distributed software -- Building requirements semantics for networked software interoperability -- Formal semantics of OWL-S with rewrite logic -- Web semantic and ontology -- Web services conversation adaptation using conditional substitution semantics of application domain concepts.
ER  -