Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Integrated Formal Methods [[electronic resource] ] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
| Integrated Formal Methods [[electronic resource] ] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 360 p. 105 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer programming Algorithms Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-30729-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465560503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / / Helen Treharne ... [et al.] (eds.)
| ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / / Helen Treharne ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XVI, 496 p.) |
| Disciplina | 005.133 |
| Altri autori (Persone) | TreharneHelen |
| Collana | Lecture notes in computer science |
| Soggetto topico |
B (Computer program language)
Z (Computer program language) |
| ISBN | 3-540-32007-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems -- An Extension of Event B for Developing Grid Systems -- The Challenge of Probabilistic Event B—Extended Abstract— -- Requirements as Conjectures: Intuitive DVD Menu Navigation -- A Prospective-Value Semantics for the GSL -- Retrenchment and the B-Toolkit -- Refinement and Reachability in Event_B -- A Rigorous Foundation for Pattern-Based Design Models -- An Object-Oriented Structuring for Z Based on Views -- Component Reuse in B Using ACL2 -- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties -- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z -- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL -- Development via Refinement in Probabilistic B — Foundation and Case Study -- Formal Program Development with Approximations -- Practical Data Refinement for the Z Schema Calculus -- Slicing Object-Z Specifications for Verification -- Checking JML Specifications with B Machines -- Including Design Guidelines in the Formal Specification of Interfaces in Z -- Some Guidelines for Formal Development of Web-Based Applications in B-Method. |
| Record Nr. | UNINA-9910483494203321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ZB 2005: Formal Specification and Development in Z and B [[electronic resource] ] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider
| ZB 2005: Formal Specification and Development in Z and B [[electronic resource] ] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XVI, 496 p.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer logic Mathematical logic Theory of Computation Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto non controllato | Formal specification |
| ISBN | 3-540-32007-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems -- An Extension of Event B for Developing Grid Systems -- The Challenge of Probabilistic Event B—Extended Abstract— -- Requirements as Conjectures: Intuitive DVD Menu Navigation -- A Prospective-Value Semantics for the GSL -- Retrenchment and the B-Toolkit -- Refinement and Reachability in Event_B -- A Rigorous Foundation for Pattern-Based Design Models -- An Object-Oriented Structuring for Z Based on Views -- Component Reuse in B Using ACL2 -- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties -- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z -- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL -- Development via Refinement in Probabilistic B — Foundation and Case Study -- Formal Program Development with Approximations -- Practical Data Refinement for the Z Schema Calculus -- Slicing Object-Z Specifications for Verification -- Checking JML Specifications with B Machines -- Including Design Guidelines in the Formal Specification of Interfaces in Z -- Some Guidelines for Formal Development of Web-Based Applications in B-Method. |
| Record Nr. | UNISA-996465801403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||