Vai al contenuto principale della pagina

Formal Methods at the Crossroads. From Panacea to Foundational Support [[electronic resource] ] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / / edited by Bernhard K. Aichernig, Tom Maibaum



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Formal Methods at the Crossroads. From Panacea to Foundational Support [[electronic resource] ] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / / edited by Bernhard K. Aichernig, Tom Maibaum Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Edizione: 1st ed. 2003.
Descrizione fisica: 1 online resource (XIV, 462 p.)
Disciplina: 005.1
Soggetto topico: Software engineering
Computer science
Programming languages (Electronic computers)
Computer logic
Mathematical logic
Software Engineering/Programming and Operating Systems
Software Engineering
Computer Science, general
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Persona (resp. second.): AichernigBernhard K
MaibaumTom
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
Nota di contenuto: In Memoriam Armando Martín Haeberer -- In Memoriam Armando Martín Haeberer -- Work at UNU/IIST -- UNU and UNU/IIST -- Contract-Based Testing -- The Development of the RAISE Tools -- An Algebraic Approach to the VERILOG Programming -- Real-Time Systems Development with Duration Calculi: An Overview -- X2Rel: An XML Relation Language with Formal Semantics -- At the Crossroads -- Where, Exactly, Is Software Development? -- From Formal Techniques to Well-Founded Software Development Methods -- Towards the Verifying Compiler -- A Grand Challenge Proposal for Formal Methods: A Verified Stack -- “What Is an Infrastructure?” Towards an Informatics Answer -- A Formal Basis for Some Dependability Notions -- From Models to Software -- Multi-view Modeling of Software Systems -- An Executable Specification Language Based on Message Sequence Charts -- Graph-Based Models of Internetworking Systems -- Software Development by Refinement -- Formal Methods within a Totally Functional Approach to Programming -- Coordination Technologies for Just-in-Time Integration -- Real-Time Systems -- Real-Time Process Algebra and Its Applications -- Making Timed Automata Communicate -- A Tool Architecture for the Next Generation of Uppaal -- Verification -- Verification by Abstraction -- Combining Decision Procedures -- A Theory of Hints in Model Checking -- Type Systems for Concurrent Programs.
Titolo autorizzato: Formal Methods at the Crossroads. From Panacea to Foundational Support  Visualizza cluster
ISBN: 3-540-40007-9
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465962703316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2757