## Home > Tags: formal (Total 124 Records)

### Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Computer Science By:Gerard O'Regan 2017-08-10 00:00:00

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability Computer Science

Tags:
*computer*
*fundamental*
*guide*
*application*
*theory*
*concise*
*science*
*method*
*topic*
*industry*
*formal*

### Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science)

Computer Science By:Nadia Polikarpova, Steve Schneider 2017-10-01 00:00:00

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical Computer Science

Tags:
*computer*
*lecture*
*science*
*method*
*integrated*
*proceedings*
*formal*
*conference*
*turin*
*ifm*

### The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Computer Science By:Jan von Plato 2017-08-02 00:00:00

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computatio Computer Science

Tags:
*digital*
*computation*
*works*
*machinery*
*origins*
*formal*
*theories*
*deduction*

### Formal Concept Analysis: 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings (Lecture Notes in Computer Science)

Computer Science By:Cynthia Vera Glodeanu 2014-06-11 00:00:00

This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014. The 16 regular papers presented together with 3 invited talks were carefully reviewed and selected from 39 submissions. The papers i 12th international conference, formal concept analysis, lecture notes, fca aspects,formal concept, refereed proceedings

Tags:
*computer*
*concept*
*analysis*
*lecture*
*science*
*proceedings*
*formal*
*conference*
*romania*
*icfca*

### Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

Computer Science By:C. Neville Dean, Raymond T. Boute 2008-06-13 00:00:00

This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004. The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from n formal methods, colognet/fme symposium, lecture notes, teaching formal methods, tfm

Tags:
*computer*
*lecture*
*science*
*method*
*teaching*
*symposium*
*proceedings*
*formal*
*tfm*
*belgium*
*ghent*

### Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

Programming By:Helmut A. Partsch 2008-10-10 00:00:00

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The ap software development, semantics-preserving transformation rules, formal approach, springer texts, particular transformational methodology

Tags:
*software*
*electrical*
*engineering*
*program*
*approach*
*development*
*springer*
*specification*
*formal*
*transformation*

### Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers (Lecture Notes in Computer Science)

Algorithms By:Elizabeth Black and Sanjay Modgil 2016-01-07 00:00:00

This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully review formal argumentation, international workshop, lecture notes, formal theoretical models, selected papers

Tags:
*computer*
*application*
*theory*
*lecture*
*science*
*formal*
*argumentation*
*papers*
*argentina*
*buenos*
*aires*
*tafa*

### Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)

Computer Science By:Christiano Braga and Olveczky, Peter Csaba 2016-03-07 00:00:00

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submiss 12th international conference, component software, formal aspects, adaptation rigorous approaches, lecture notes

Tags:
*computer*
*software*
*lecture*
*science*
*component*
*formal*
*conference*
*papers*
*aspects*
*brazil*
*facs*
*niteroi*

### Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Computer Science By:Erika Abraham, Marcello Bonsangue, Einar Broch Johnsen 2016-00-00 00:00:00

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of intere formal methods, 60th birthday, versatile modus operandi, schedulability enterprise architectures, programming deductive proof

Tags:
*theory*
*method*
*practice*
*formal*
*dedicated*
*occasion*
*birthday*
*frank*
*boer*

### Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Lecture Notes in Computer Science)

Computer Science By:Michael Butler and Sylvain Conchon 2016-01-08 00:00:00

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topi 17th international conference, formal engineering methods, formal methods, software engineering, lecture notes

Tags:
*computer*
*software*
*engineering*
*lecture*
*science*
*method*
*proceedings*
*formal*
*conference*
*france*
*paris*
*icfem*