LEADER 04920nam  22007815  450 
001 996465962703316
005 20200706222220.0
010   $a3-540-40007-9
024 7 $a10.1007/b11934
035   $a(CKB)1000000000212110
035   $a(SSID)ssj0000323218
035   $a(PQKBManifestationID)11250805
035   $a(PQKBTitleCode)TC0000323218
035   $a(PQKBWorkID)10296830
035   $a(PQKB)10010465
035   $a(DE-He213)978-3-540-40007-3
035   $a(MiAaPQ)EBC3087544
035   $a(PPN)155205102
035   $a(EXLCZ)991000000000212110
100   $a20121227d2003      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods at the Crossroads. From Panacea to Foundational Support$b[electronic resource] $e10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /$fedited by Bernhard K. Aichernig, Tom Maibaum
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (XIV, 462 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2757
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-20527-6 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aIn 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2757
606   $aSoftware engineering
606   $aComputer science
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aSoftware Engineering.
615 24$aComputer Science, general.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aAichernig$b Bernhard K$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMaibaum$b Tom$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aInternational Institute for Software Technology.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465962703316
996   $aFormal Methods at the Crossroads. From Panacea to Foundational Support$92088734
997   $aUNISA