LEADER 05816nam 22007335 450 001 996465540503316 005 20200702140136.0 010 $a1-280-30700-5 010 $a9786610307005 010 $a3-540-24626-6 024 7 $a10.1007/b96009 035 $a(CKB)1000000000212330 035 $a(SSID)ssj0000232187 035 $a(PQKBManifestationID)11220656 035 $a(PQKBTitleCode)TC0000232187 035 $a(PQKBWorkID)10209663 035 $a(PQKB)11403870 035 $a(DE-He213)978-3-540-24626-8 035 $a(MiAaPQ)EBC3088371 035 $a(PPN)155211692 035 $a(EXLCZ)991000000000212330 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRadical Innovations of Software and Systems Engineering in the Future$b[electronic resource] $e9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers /$fedited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (IX, 359 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2941 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21179-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aArchitecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring for Precise UML-Based Requirement Specifications -- Integrating Performance Modeling in the Software Development Process -- The Inevitable Pain of Software Development: Why There Is No Silver Bullet -- Toward Component-Oriented Formal Software Development: An Algebraic Approach -- Higher Order Applicative XML Documents -- A New Paradigm for Requirements Specification and Analysis of System-of-Systems -- Towards Ontology Driven Software Design -- A Model Based Development Approach for Distributed Embedded Systems -- Pervasive Challenges for Software Components -- Model Generation for Legacy Systems -- Automatic Failures-Free Connector Synthesis: An Example -- Module Dependences in Software Design -- Towards Fully Automatic Execution Monitoring -- Automation of Software System Development Using Natural Language Processing and Two-Level Grammar -- A General Resource Framework for Real-Time Systems -- Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems -- A Computational Model for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking Complex Software ? A Memory Perspective -- Agile Modeling with the UML -- Predictable Component Architectures Using Dependent Finite State Machines -- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering -- View Consistency in Software Development. 330 $aThis volume contains the papers from the workshop ?Radical Innovations of Software and Systems Engineering in the Future.? This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: ? there is no proof and no evidence that software productivity has increased with the new methods; ? UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; ? support for mobile distributed system development is missing; ? formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2941 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer 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 $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 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aWirsing$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKnapp$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBalsamo$b Simonetta$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRISSEF 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465540503316 996 $aRadical Innovations of Software and Systems Engineering in the Future$92204562 997 $aUNISA