Predicate Calculus and Program Semantics
von Carel S. Scholten, Edsger W. Dijkstra
2011 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would d…
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
von Nils Przigoda, Rolf Drechsler, Judith Przigoda, Robert Wille
2019 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Provides a general flow and description for the validation and verification of UML/OCL models Demonstrates a detailed realization of the general flow using satisfiability solvers Includes a case study that presents the possibilit…
Asynchronous Digital Circuit Design
1995 Kartoniert, 276 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banf…
Formal Specification - Techniques and Applications
von Nimal Nissanke
1999 Kartoniert, 316 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic…
Unifying Theories of Programming and Formal Engineering Methods - International Training School on…
2013 Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Thoroughly revised tutorial lecturesAimed at postgraduate students, researchers, academics, and industrial engineersPresents state of the art in Unifying Theories of Programming and Formal Engineering MethodsThis book presents 5…
Requirements Engineering: Foundation for Software Quality - 19th International Working Conference,…
2013 Kartoniert, 420 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality, R…
Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 1…
2013 Kartoniert, 204 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Up-to-date resultsFast-track conference proceedingsState-of-the-art researchThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, h…
Embedded Systems - New Approaches to Their Formal Description and Design. An Advanced Course, Zuri…
1987 Kartoniert, 220 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng A note on the meaning of ¿Embedded systems¿.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms fo…
Logic Programming and Automated Reasoning - 6th International Conference, LPAR'99, Tbilisi, Georgi…
1999 Kartoniert, 416 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.…
Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and T…
2010 Kartoniert, 256 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Presents the most current research, both professional and academic, in the fields of computer security and trust authenticationSecond International Workshop on Formal Aspects in Security and Trust is an essential reference for bo…
- Volltext
- formalspecification
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!