000 04962nam a22005775i 4500
001 978-3-540-24626-8
003 DE-He213
005 20240423130101.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540246268
_9978-3-540-24626-8
024 7 _a10.1007/b96009
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aRadical Innovations of Software and Systems Engineering in the Future
_h[electronic resource] :
_b9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers /
_cedited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aIX, 359 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2941
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aWirsing, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKnapp, Alexander.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBalsamo, Simonetta.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540211792
776 0 8 _iPrinted edition:
_z9783662169940
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2941
856 4 0 _uhttps://doi.org/10.1007/b96009
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c184866
_d184866