scientific article; zbMATH DE number 2161254

zbMath1095.68022MaRDI QIDQ4671215

Dines Bjørner

Publication date: 25 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationphasemodellingdesigntestingmodel checkingsatisfiabilityfeasibilityfacetdescriptionvalidationdomainacquisitionserverattributeclientstakeholdercomputing systemreactive systemRSLrequirementanalytic documentdescriptive documentinformation repositoryinformative documentJackson's principlestriptych

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Compositionality: Ontology and Mereology of Domains ⋮ Towards leveraging domain knowledge in state-based formal methods

This page was built for publication: