P. Ciancarini, C. Mascolo  Home/Search
Context
Related
| cs.ucl.ac.uk/staff...educational.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~mascolo/www...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe and review the course plan and syllabus we use in a course on formal methods in software engineering currently included in the degree in Informatics of the Faculty of Sciences at the University of Bologna. The course matches the theory of formal methods with their practice based on actual tool usage. In fact, the course is centered upon a project whose main goal is to let students learn some formal specification techniques all supported by specific tools. The students... (Update)
Active bibliography (related documents): More All
0.6: Specifying Component-Based Software Architectures - Ciancarini, Cimato (1997) (Correct)
0.5: Fuzzy Concepts and Formal Methods: An Extended Notation for Z - Matthews, al. (2000) (Correct)
0.5: Hol-Z 2.0: A Proof Environment for Z-Specifications - Brucker, Rittinger, Wolff (2003) (Correct)
Similar documents based on text: More All
0.2: A Catalog of Architectural Styles for Mobility - Ciancarini, Mascolo (1998) (Correct)
0.2: Managing complex documents over the WWW: a case study for.. - Ciancarini, Vitali, Mascolo (1999) (Correct)
0.1: Using a Coordination Language to Specify and Analyze.. - Ciancarini, Franz.. (2000) (Correct)
BibTeX entry: (Update)
@article{ ciancarini98using,
author = "P. Ciancarini and C. Mascolo",
title = "Using formal methods for teaching software engineering: a tool-based approach",
journal = "Annals of Software Engineering",
volume = "6",
publisher = "Baltzer Science Publishers",
editor = "Neal S. Coulter and Norman E. Gibbs",
pages = "433--453",
year = "1998",
url = "citeseer.ist.psu.edu/ciancarini98using.html" }
Citations (may not include all citations):340 Software Engineering (context) - Sommerville - 1991
338 Foundations for the Study of Software Architecture - Perry, Wolf - 1992
322 A spiral model of software development and enhancement (context) - Boehm - 1988
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
143 Fundamentals of Software Engineering (context) - Ghezzi, Jazayeri et al. - 1991
83 Process Modeling (context) - Curtis, Kellner et al. - 1992
81 A Reference Manual (context) - Spivey, The - 1992
79 Specification-based Test Oracles for Reactive Systems - Richardson, Aha et al. - 1992
64 The Larch Family of Specification Languages (context) - Guttag, Horning et al. - 1985
63 LCLint: a Tool for Using Specifications to Check Code - Evans, Guttag et al. - 1994
57 Object-Oriented Development (context) - Booch - 1986
56 Software Architecture (context) - Shaw, Garlan - 1996
44 Writing Larch Interface Language Specifications (context) - Wing - 1987
40 Applications of Formal Methods (context) - Hinchey, Bowen - 1995
34 Models of Software Development Environments - Perry, Kaiser - 1991
29 Testing Formal Specifications to Detect Design Errors (context) - Kemmerer - 1985
27 The Specification of Complex Systems (context) - Cohen, Harwood et al. - 1986
25 Formal Specification and Documentation using Z: A Case Study.. - Bowen - 1996
21 ZTC: A Type Checker for Z -- User's Guide - Jia - 1994
10 An overview of LP, the Larch Prover (context) - Garland, Guttag - 1989
9 A Quick Overview of Larch/C - Cheon, Leavens - 1994
8 Experience with a Course on Architectures for Software Syste.. (context) - Garlan, Shaw et al. - 1992
8 A Larch Shared Language Handbook (context) - Guttag, Horning - 1986
6 uzz Manual (context) - Spivey, The - 1988
6 A Study of 12 Specifications of the Library Problem (context) - Wing - 1988
4 Academic Legitimacy of the Software Engineering Discipline - Berry - 1992
4 the Animation of Not Executable Specifications by Prolog (context) - Sterling, Ciancarini et al. - 1996
3 Experiences with PiZA, an Animator for Z (context) - Hewitt, O'Halloran et al. - 1997
3 Formal Methods for Software Engineers: Tradeoff in Curriculu.. (context) - Garlan - 1992
2 A Shallow Embedding of Z in HOL - Bowen, Gordon - 1995
2 Formal Requirements and Design Specifications: The Clepsydra.. (context) - Ciaccia, Ciancarini et al. - 1997
2 The Z/EVES system - Saaltink - 1997
2 The Way of Z: Practical Programming with Formal Methods (context) - Jacky - 1997
1 Z and HOL - Bowen, Gordon - 1994
1 The Evolution of Configuration Management and Version Contro.. - Ambriola, Bendix et al. - 1990
Documents on the same site (http://www.cs.unibo.it/~mascolo/www/papers.html): More
Using a Coordination Language to Specify the Invoicing System - Ciancarini, Mascolo (Correct)
MobiS: A Specification Language for Mobile Systems - Mascolo (1999) (Correct)
Analyzing and Refining an Architectural Style - Paolo Ciancarini (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC