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

### 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*

### Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Algorithms By:Orna Grumberg 2009-06-18 00:00:00

It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. … On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney’s paper, ’Formal grammars of early lan 65th birthday, lecture notes, child language development.languages, formal grammars, macwhinney’s paper

Tags:
*computer*
*language*
*lecture*
*science*
*natural*
*formal*
*dedicated*
*occasion*
*birthday*
*nissim*
*francez*

### Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)

Programming By:John Wordsworth 1992-07-00 00:00:00

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possibl formal methods, international computer science, science series, software development.software development, software engineering

Tags:
*computer*
*software*
*engineering*
*series*
*approach*
*science*
*method*
*development*
*formal*

### From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)

Programming By:Olaf Owe, Stein Krogdahl, Tom Lyche 2004-05-14 00:00:00

This festschrift is a fitting posthumous tribute to Dahl by close colleagues and highly respected computer scientists from around the world. This book will be of interest to any computer scientist who met Dahl or knows him by reputation. Anyone concerned with formal methods research will also find formal methods, formal methods research, lecture notes, international calibre, well-known computer scientists