Cover Image
Read Now

181
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification...”
Cover Image
Read Now

182
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation...”
Cover Image
Read Now

183
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Springer International Publishing
Table of Contents: “... CSP -- Part II Methods: 4 Algebraic Specification in CASL -- 5 Specification-Based Testing -- Part III...”
Cover Image
Read Now

184
Published 2024
Springer Nature Switzerland
Table of Contents: “...Specification and Modeling Languages -- A Formal Model for Startups Financial Transactions -- A...”
Cover Image
Read Now

185
by Tornincasa, Stefano
Published 2021
Springer International Publishing
Table of Contents: “...Introducing GD&T and GPS -- The Geometrical Product Specification (GPS) language -- Dimensioning...”
Cover Image
Read Now

186
by Turner, Raymond
Published 2018
Springer Berlin Heidelberg
Table of Contents: “... -- Specification Languages -- Part IV, Methodology: Software Development -- Software System Methodology...”
Cover Image
Read Now

187
by Mouheb, Djedjiga, Debbabi, Mourad, Pourzandi, Makan, Wang, Lingyu
Published 2015
Springer International Publishing
Table of Contents: “... Architecture and Model Transformations -- 5 Model-Based Security -- 6 Security Aspect Specification -- 7...”
Cover Image
Read Now

188
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Specification -- Precise Specification of Use Case Scenarios -- Joint Structural and Temporal Property...”
Cover Image
Read Now

189
Published 2018
Springer International Publishing
Table of Contents: “...Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations...”
Cover Image
Read Now

190
by Cervenka, Radovan, Trencansky, Ivan
Published 2007
Birkhäuser
Table of Contents: “... -- Related Work -- AML Specification -- Extensions to Standard UML Notation -- Organization of the AML...”
Cover Image
Read Now

191
Published 2015
Springer International Publishing
Table of Contents: “...Applications.- Protocols -- Specification and analysis -- Verification...”
Cover Image
Read Now

192
by Golas, Ulrike
Published 2011
Vieweg+Teubner Verlag
“... extends this theory for more sophisticated applications like the specification of syntax, semantics...”
Cover Image
Read Now

193
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...: x86 Assembler Simulated in C Powered by Automated Theorem Proving -- Evolving Specification...”
Cover Image
Read Now

194
Published 2017
Springer International Publishing
Table of Contents: “...Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness...”
Cover Image
Read Now

195
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Testing and tools -- Tools for specification -- Model checking -- Application and prototyping...”
Cover Image
Read Now

196
Published 2007
Springer London
Table of Contents: “... Specification to Code -- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS...”
Cover Image
Read Now

197
by Lütkepohl, Helmut
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Estimation of Vector Error Correction Models -- Specification of VECMs -- Structural and Conditional Models...”
Cover Image
Read Now

198
Published 2016
Springer International Publishing
Table of Contents: “...Modeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm...”
Cover Image
Read Now

199
Published 2018
Springer International Publishing
Table of Contents: “...Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification...”
Cover Image
Read Now

200
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems -- A Specification Language and a...”