Programming language : theory and formal methods / edited by Zoran Gacovski.

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.