Software engineering 1. Abstraction and modelling.
zbMath1095.68020MaRDI QIDQ1773139
Publication date: 25 April 2005
Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
software; calculus; list; quantification; design; signature; parallelism; Java; type; invariant; channel; engineering; requirements; map; implementation; CSP; graph algebra; Petri net; inference; module; concurrency; data; specification; nondeterminism; sequence; model; function; algebra; grammar; subtyping; interpretation; validation; union; assertion; constructor; binding; process; axiom; expression; finite state machine; attribute; overloading; LSC; object-oriented; RAISE; fix point; deadlock; MSC; documentation; applicative programming; Cartesian; abstract type; destructor; RSL
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q45: Formal languages and automata
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
