LEADER 04683nam 22006255 450 001 996466066503316 005 20230406062502.0 010 $a3-540-78743-7 024 7 $a10.1007/978-3-540-78743-3 035 $a(CKB)1000000000490602 035 $a(SSID)ssj0000317836 035 $a(PQKBManifestationID)11240625 035 $a(PQKBTitleCode)TC0000317836 035 $a(PQKBWorkID)10295592 035 $a(PQKB)10989759 035 $a(DE-He213)978-3-540-78743-3 035 $a(MiAaPQ)EBC3068749 035 $a(PPN)125218567 035 $a(EXLCZ)991000000000490602 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering$b[electronic resource] $e11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /$fedited by José Fiadeiro, Paola Inverardi 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIII, 434 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4961 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-78742-9 320 $aIncludes bibliographical references and index. 327 $aRequirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What?s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4961 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a005.1 702 $aFiadeiro$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aInverardi$b Paola$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 906 $aBOOK 912 $a996466066503316 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNISA LEADER 01115cam a2200229 i 4500 001 991003283649707536 008 030520s1996 it 100 0 fre d 020 $a882431158X 035 $ab1240469x-39ule_inst 040 $aDip.to Studi Giuridici$bita 245 00$aPouvoir et Imperium :$b3e av. J.-C.-1er ap. J.C. : actes du Colloque tenu dans le cadre du Congrès de la Federation internationale des etudes classiques (FIEC) du 24 au 26 août 1994, à l'Universite Laval /$cedite par Ella Hermon 260 $aNapoli :$bJovene,$cc1996 300 $axiv, 366 p. ;$c24 cm 440 0$aDiþaphora ;$v6 700 1 $aHermon, Ella$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0242057 907 $a.b1240469x$b02-04-14$c20-10-03 912 $a991003283649707536 945 $aLE027 R-XXII 29$g1$iLE027-12085$lle027$o-$pE30.00$q-$rn$so $t0$u0$v0$w0$x0$y.i1281717x$z21-10-03 945 $aLE027 R-XXII 29 C.2$cC. 2$g1$iLE027-13276$lle027$o-$pE30.00$q-$rn$so $t0$u0$v0$w0$x0$y.i13517892$z30-04-04 996 $aPouvoir et Imperium$91459140 997 $aUNISALENTO 998 $ale027$b20-10-03$cm$da $e-$ffre$git $h0$i1 LEADER 02208nas 2200661-a 450 001 996321323003316 005 20240413020843.0 011 $a2451-2311 035 $a(CKB)954927571839 035 $a(CONSER)sn-83003814- 035 $a(DE-599)ZDB2929892-1 035 $a(EXLCZ)99954927571839 100 $a19831109a19509999 --- b 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aRoczniki Pa?stwowego Zak?adu Higieny 210 $aWarszawa $cPa?stwowy Zak?ad Wydawn. Lekarskich 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$aPrint version: Roczniki Pa?stwowego Zak?adu Higieny. 0035-7715 (DLC)sn 83003814 (OCoLC)10110246 517 1 $aAnnals of the National Institute of Hygiene 531 $aPANSTWOWY ZAKLAD HIGIENY ROCZNIKI 531 $aANN NATL INST HYG ROCZ PANSTW ZAK HIG 531 $aROCZ PANSTW ZAKL HIG 531 0 $aRocz. pa?stw. zak?. hig. 606 $aPublic health$vPeriodicals 606 $aHygiene$vPeriodicals 606 $aSanitary engineering$vPeriodicals 606 $aPublic health$2fast$3(OCoLC)fst01082238 606 $aHygiene$2fast$3(OCoLC)fst00965349 606 $aSanitary engineering$2fast$3(OCoLC)fst01105008 606 $aHigiena pracy$zPolska$vczasopisma$2jhpk 606 $aIn?ynieria sanitarna$zPolska$vczasopisma$2jhpk 606 $aFood Analysis 606 $aNutritional Physiological Phenomena 606 $aOccupational Health 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2rbgenr 608 $aPeriodical. 615 0$aPublic health 615 0$aHygiene 615 0$aSanitary engineering 615 7$aPublic health. 615 7$aHygiene. 615 7$aSanitary engineering. 615 7$aHigiena pracy 615 7$aIn?ynieria sanitarna 615 12$aFood Analysis. 615 22$aNutritional Physiological Phenomena. 615 22$aOccupational Health. 712 02$aPa?stwowy Zak?ad Higieny (Poland) 906 $aJOURNAL 912 $a996321323003316 920 $aexl_impl conversion 996 $aRoczniki Pa?stwowego Zak?adu Higieny$92094514 997 $aUNISA