02434nam a2200277 i 4500 CSPC 20250328090852.0 250321s2023 onc b 001 0 eng d 9781774694473 CSPC CSPC eng rda QA76.7 005.13 P943 Programming language : theory and formal methods / edited by Zoran Gacovski. Burlington, Ontario : Arcler Press, 2023. xxiv, 377 pages : illustrations ; 24 cm. text rdacaontent unmediated rdamedia volume rdacarrier 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. Computer programming. Programming languages. Gacovski, Zoran, author. ddc 0 BK 005.13 P943 CIR 2023 0 0 ddc 0 0 CSPC CSPC CIR 2025-03-21 0 CIR 005.13 P943 2023 029337 2025-03-21 00:00:00 1-1 2025-03-21 BK 29256 29256