Search results for "Teaching Formal Methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
3	Jan Kofron, Pavel Parizek, Ondrej Sery	On Teaching Formal Methods: Behavior Models and Code Analysis.	TFM	2009	DBLP DOI BibTeX RDF
2	Néstor Cataño, Camilo Rueda	Teaching Formal Methods for the Unconquered Territory.	TFM	2009	DBLP DOI BibTeX RDF
2	Jim Davies, Andrew Simpson, Andrew Martin	Teaching Formal Methods in Context.	TFM	2004	DBLP DOI BibTeX RDF
2	Manuel J. Fernández Iglesias, Martín Llamas Nistal	An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.	TFM	2004	DBLP DOI BibTeX RDF	undergraduate courses, Spin, Protocol engineering, Promela, case-based learning
2	Sylvia da Rosa	Designing Algorithms in High School Mathematics.	TFM	2004	DBLP DOI BibTeX RDF
2	Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson	Teaching Formal Methods Early in the Software Engineering Curriculum (panel). (PDF / PS)	CSEE&T	2000	DBLP DOI BibTeX RDF
1	A. J. Cowling	Stages in Teaching Formal Methods.	CSEE&T	2010	DBLP DOI BibTeX RDF
1	Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama	Teaching formal methods in the context of software engineering.	SIGCSE Bulletin	2009	DBLP DOI BibTeX RDF
1	Jeremy Gibbons, José Nuno Oliveira (eds.)	Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings	TFM	2009	DBLP DOI BibTeX RDF
1	Jeffrey Kramer	Abstraction and Modelling: A Complementary Partnership.	TFM	2009	DBLP DOI BibTeX RDF
1	João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa	Which Mathematics for the Information Society?	TFM	2009	DBLP DOI BibTeX RDF
1	Sureyya Tarkan, Vibha Sazawal	Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.	TFM	2009	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Formal Methods, Z, Alloy
1	Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle	Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.	TFM	2009	DBLP DOI BibTeX RDF
1	Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden	What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.	TFM	2009	DBLP DOI BibTeX RDF
1	Erik Poll	Teaching Program Specification and Verification Using JML and ESC/Java2.	TFM	2009	DBLP DOI BibTeX RDF
1	Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba	Teaching Concurrency: Theory in Practice.	TFM	2009	DBLP DOI BibTeX RDF
1	Stefan Hallerstede, Michael Leuschel	How to Explain Mistakes.	TFM	2009	DBLP DOI BibTeX RDF
1	Wolfgang Schreiner	The RISC ProofNavigator: a proving assistant for program verification in the classroom.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Interactive proving assistants, Teaching formal methods, Computer-aided verification
1	J. Paul Gibson	Weaving a Formal Methods Education with Problem-Based Learning.	ISoLA	2008	DBLP DOI BibTeX RDF	Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
1	Luís Gomes, Anikó Costa	Teaching Formal Methods Within System-on-a-Programmable-Chip Design.	MSE	2005	DBLP DOI BibTeX RDF
1	C. Neville Dean, Raymond T. Boute (eds.)	Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings	TFM	2004	DBLP BibTeX RDF
1	Peter Pepper	Distributed Teaching of Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau	A Beginner's Course on Reasoning About Imperative Programs.	TFM	2004	DBLP DOI BibTeX RDF
1	Martin Loomes, Bruce Christianson, Neil Davey	Formal Systems, Not Methods.	TFM	2004	DBLP DOI BibTeX RDF
1	Ken Robinson	Embedding Formal Development in Software Engineering.	TFM	2004	DBLP DOI BibTeX RDF
1	Richard F. Paige, Jonathan S. Ostroff	Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
1	José Nuno Oliveira	A Survey of Formal Methods Courses in European Higher Education.	TFM	2004	DBLP DOI BibTeX RDF
1	Roger Duke, Tim Miller, Paul A. Strooper	Integrating Formal Specification and Software Verification and Validation.	TFM	2004	DBLP DOI BibTeX RDF
1	Dino Mandrioli	Advertising Formal Methods and Organizing Their Teaching: Yes, but ....	TFM	2004	DBLP DOI BibTeX RDF
1	Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.	TFM	2004	DBLP DOI BibTeX RDF	Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness
1	Henri Habrias, Sébastien Faucou	Linking Paradigms, Semi-formal and Formal Notations.	TFM	2004	DBLP DOI BibTeX RDF
1	Egon Börger	A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis.	TFM	2004	DBLP DOI BibTeX RDF
1	Baowen Xu, Yingzhou Zhang, Yanhui Li	Retrospect and Prospect of Formal Methods Education in China.	TFM	2004	DBLP DOI BibTeX RDF
1	Joy N. Reed, Jane Sinclair	Motivating Study of Formal Methods in the Classroom.	TFM	2004	DBLP DOI BibTeX RDF
1	Mark Utting, Steve Reeves	Teaching formal methods lite via testing.	Softw. Test., Verif. Reliab.	2001	DBLP DOI BibTeX RDF
1	Vicki L. Almstrum, C. Neville Dean, Don Goelman, Thomas B. Hilburn, Jan Smith	Support for teaching formal methods.	SIGCSE Bulletin	2001	DBLP DOI BibTeX RDF
1	Thierry Scheurer	Formal Methods: The Problem Is Education.	SAFECOMP	2000	DBLP DOI BibTeX RDF
1	J. Paul Gibson, Dominique Méry	Teaching Formal Methods: Lessons to Learn.	IWFM	1998	DBLP BibTeX RDF
1	Thomas C. Hartrum, Paul D. Bailor	Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies.	CSEE	1994	DBLP DOI BibTeX RDF