Fm'99--formal methods . Volume ii : world congress on formal methods in the development of computing systems, toulouse, france, september 20-24, 1999 proceedings / / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XVIII, 942 p.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Application software - Development
Formal methods (Computer science) |
ISBN | 3-540-48118-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of System Specification (IFIP WG 1.3) -- From informal requirements to COOP: a concurrent automata approach -- A framework for defining Object-Calculi extended abstract -- European Theory and Practice of Software (ETAPS) -- A translation of statecharts to esterel -- An operational semantics for timed RAISE -- Data abstraction for CSP-OZ -- Systems development using Z generics -- A brief summary of VSPEC -- Enhancing the pre- and postcondition technique for more expressive specifications -- Program Verification -- On excusable and inexcusable failures towards an adequate notion of translation correctness -- Interfacing program construction and verification -- Software verification based on linear programming -- Integration of Notation and Techniques -- Sensors and actuators in TCOZ -- The UniForM workbench a universal development environment for formal methods -- Integrating formal description techniques -- Formal Description of Programming Concepts (IFIP WG 2.2) -- A more complete TLA -- Formal justification of the rely-guarantee paradigm for shared-variable concurrency: a semantic approach -- Relating Z and first-order logic -- Open Information Systems -- Formal modeling of the enterprise javabeans™ component integration framework -- Developing components in the presence of re-entrance -- Communication and synchronisation using interaction objects -- Modelling microsoft COM using ?-calculus -- Co-design -- Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints -- Combining theorem proving and continuous models in synchronous design -- Parts a partitioning transformation system -- A behavioral model for co-design -- Refinement -- A weakest precondition semantics for an object-oriented language of refinement -- Reasoning about interactive systems -- Non-atomic refinement in Z -- Refinement semantics and loop rules -- Safety -- Lessons from the application of formal methods to the design of a storm surge barrier control system -- The value of verification: positive experience of Industrial proof -- Formal development and verification of a distributed railway control system -- Safety analysis in formal specication -- Formal specification and validation of a vital communication protocol -- Incremental design of a Power transformer station controller using a controller synthesis methodology -- OBJ/Cafe OBJ/Maude -- Verifying behavioural specifications in CafeOBJ environment -- Component-based algebraic specification and verification in cafeOBJ -- Using algebraic specification techniques in development of object-oriented frameworks -- Maude as a formal meta-tool -- Hiding more of hidden algebra -- Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) -- A termination detection algorithm: specification and verification -- Logspace reducibility via abstract state machines -- Formal methods for extensions to CAS -- An lgebraic framework for higher-order odules -- Avionics -- Applying formal proof techniques to avionics software: a pragmatic approach -- Secure synthesis of code: a process improvement experiment -- Cronos: a separate compilation tool set for modular esterel applications -- Works-in-Progress -- Tool support for production use of formal techniques -- Modeling aircraft mission computer task rates -- A study of collaborative work: answers to a test on formal specification in B -- Archived design steps in temporal logic -- A PVS-based approach for teaching constructing correct iterations -- A minimal framework for specification theory -- A model of specification-based testing of interactive systems -- Algebraic aspects of the mapping between abstract syntax notation one and CORBA IDL -- Retrenchment -- Proof preservation in component generalization -- Industrial Experience -- Formal modelling and simulation of train control systems using petri nets -- Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using vdm -- Model-checking the architectural design of a fail-safe communication system for railway interlocking systems -- Analyzing the requirements of an access control using VDMTools and PVS -- Cache coherence verification with TLA%. |
Altri titoli varianti | Formal methods |
Record Nr. | UNINA-9910767573303321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur |
Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2016 |
Descrizione fisica | 1 online resource (214 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Computer systems - Computer-aided design System design |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996279615803316 |
Austin, Texas : , : FMCAD, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA / / edited by Ruzica Piskac and Muralidhar Talupur |
Pubbl/distr/stampa | Austin, Texas : , : FMCAD, , 2016 |
Descrizione fisica | 1 online resource (214 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Computer systems - Computer-aided design System design |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910169237303321 |
Austin, Texas : , : FMCAD, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FMCAD 2017 : proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria / / edited by Daryl Stewart and Georg Weissenbacher |
Pubbl/distr/stampa | New York : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource (229 pages) |
Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) |
ISBN | 0-9835678-7-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996279680703316 |
New York : , : IEEE, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
FMCAD 2017 : proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria / / edited by Daryl Stewart and Georg Weissenbacher |
Pubbl/distr/stampa | New York : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource (229 pages) |
Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) |
ISBN | 0-9835678-7-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910228956503321 |
New York : , : IEEE, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2005 |
Descrizione fisica | 1 online resource (152 p.;) |
Disciplina | 005.13/1 |
Collana | ACM Conferences |
Soggetto topico |
Formal methods (Computer science)
Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | FMICS '05 |
Record Nr. | UNINA-9910375923503321 |
[Place of publication not identified], : Association for Computing Machinery, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FMS'18 : proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security : June 18, 2018, Philadelphia, PA, USA / / Somesh Jha, P. Madhusudan, editors ; ACM Digital Library, contributor |
Pubbl/distr/stampa | New York NY : , : ACM, , 2018 |
Descrizione fisica | 1 online resource (9 pages) : illustrations |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Data protection Computer security |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910375973103321 |
New York NY : , : ACM, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Systems : September 4, 2016, Singapore / / edited by Ravindra Naik, Raveendra Kumar Medicherla, and Ansuman Banerjee ; sponsored by ACM SIGSOFT [and three others] |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (16 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Management information systems |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4503-4214-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Formal Methods for Analysis of Business Systems 2016
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems |
Record Nr. | UNINA-9910376436803321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal analysis for natural language processing : a handbook / / Zhiwei Feng |
Autore | Feng Zhiwei <1939-> |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (802 pages) |
Disciplina | 006.35 |
Soggetto topico |
Natural language processing (Computer science)
Formal methods (Computer science) |
ISBN | 981-16-5172-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Chapter 1. Past and Present of Natural Language Processing -- Chapter 2. Pioneers in Study of Language Computing -- Chapter 3.Formal Models Based on Phrase Structure Grammar -- Chapter 4.The Formal Model Based on Unification -- Chapter 5.Formal Models Based on Dependency and Valence -- Chapter 6.Formal models based on lexicalism -- Chapter 7. Formal Models of Automatic Semantic Processing -- Chapter 8. Formal Models of Automatic Situation and Pragmatic Processing -- Chapter 9. Formal Models of Discourse Analysis -- Chapter 10.Formal Models of Probabilistic Grammar -- Chapter 11. Formal Models Based on Neural Networks and Deep learning -- Chapter 12. Knowledge Graphs -- Conclusion. |
Record Nr. | UNISA-996546822003316 |
Feng Zhiwei <1939->
![]() |
||
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal analysis for natural language processing : a handbook / / Zhiwei Feng |
Autore | Feng Zhiwei <1939-> |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (802 pages) |
Disciplina | 006.35 |
Soggetto topico |
Natural language processing (Computer science)
Formal methods (Computer science) |
ISBN | 981-16-5172-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Chapter 1. Past and Present of Natural Language Processing -- Chapter 2. Pioneers in Study of Language Computing -- Chapter 3.Formal Models Based on Phrase Structure Grammar -- Chapter 4.The Formal Model Based on Unification -- Chapter 5.Formal Models Based on Dependency and Valence -- Chapter 6.Formal models based on lexicalism -- Chapter 7. Formal Models of Automatic Semantic Processing -- Chapter 8. Formal Models of Automatic Situation and Pragmatic Processing -- Chapter 9. Formal Models of Discourse Analysis -- Chapter 10.Formal Models of Probabilistic Grammar -- Chapter 11. Formal Models Based on Neural Networks and Deep learning -- Chapter 12. Knowledge Graphs -- Conclusion. |
Record Nr. | UNINA-9910720059003321 |
Feng Zhiwei <1939->
![]() |
||
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|