LEADER 03264nam  22006615  450 
001 996466130303316
005 20230406041956.0
010   $a3-540-48929-0
024 7 $a10.1007/11925040
035   $a(CKB)1000000000283912
035   $a(SSID)ssj0000318658
035   $a(PQKBManifestationID)11249849
035   $a(PQKBTitleCode)TC0000318658
035   $a(PQKBWorkID)10310625
035   $a(PQKB)10083248
035   $a(DE-He213)978-3-540-48929-0
035   $a(MiAaPQ)EBC3068666
035   $a(PPN)123139600
035   $a(EXLCZ)991000000000283912
100   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLeveraging Applications of Formal Methods$b[electronic resource] $eFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /$fedited by Tiziana Maragria, Bernhard Steffen
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VI, 197 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4313
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-48928-2 
320   $aIncludes bibliographical references and index.
327   $aInteraction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological Systems -- A Rule Markup Language and Its Application to UML -- Using XML Transformations for Enterprise Architectures -- Classification and Utilization of Abstractions for Optimization -- On the Correctness of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe, Reliable Systems Using Scade -- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings -- Static Timing Analysis of Real-Time Operating System Code -- A Case Study in Domain-Customized Model Checking for Real-Time Component Software -- Models for Contract Conformance.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4313
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aComputers, Special purpose
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSpecial Purpose and Application-Based Systems
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aComputers, Special purpose.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.1
702   $aMaragria$b Tiziana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466130303316
996   $aLeveraging Applications of Formal Methods$9772708
997   $aUNISA