|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 14 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fuyuki Ishikawa, Kenji Taguchi 0001, 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 | 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 | João F. Ferreira 0001, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa |
Which Mathematics for the Information Society? |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Kramer |
Abstraction and Modelling: A Complementary Partnership. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Néstor Cataño, Camilo Rueda |
Teaching Formal Methods for the Unconquered Territory. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Teaching Formal Methods Based on Rewriting Logic and Maude. |
TFM |
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 | Erik Poll |
Teaching Program Specification and Verification Using JML and ESC/Java2. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba |
Teaching Concurrency: Theory in Practice. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Pavel Parízek, Ondrej Sery |
On Teaching Formal Methods: Behavior Models and Code Analysis. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Michael Leuschel |
How to Explain Mistakes. |
TFM |
2009 |
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 DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira |
A Survey of Formal Methods Courses in European Higher Education. |
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 | Peter Pepper |
Distributed Teaching of Formal Methods. |
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 | Baowen Xu, Yingzhou Zhang, Yanhui Li |
Retrospect and Prospect of Formal Methods Education in China. |
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 | Ken Robinson |
Embedding Formal Development in Software Engineering. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvia da Rosa 0001 |
Designing Algorithms in High School Mathematics. |
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 | 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 |
| 1 | Roger Duke, Tim Miller, Paul A. Strooper |
Integrating Formal Specification and Software Verification and Validation. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin J. Loomes, Bruce Christianson, Neil Davey |
Formal Systems, Not Methods. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Habrias, Sébastien Faucou |
Linking Paradigms, Semi-formal and Formal Notations. |
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 | Joy N. Reed, Jane E. Sinclair |
Motivating Study of Formal Methods in the Classroom. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Andrew Simpson, Andrew P. Martin |
Teaching Formal Methods in Context. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license