theory and formal methods Gacovski, Zoran author. text bibliography onc 2023 monographic eng

print

xxiv, 377 pages : illustrations ; 24 cm. 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. edited by Zoran Gacovski. Includes bibliographical references and index. Computer programming Programming languages QA76.7 005.13 P943 9781774694473 CSPC 250321 20250328090852.0 eng