50 Jahre Universitäts-Informatik in München [[electronic resource] /] / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
Descrizione fisica | 1 online resource (202 pages) |
Disciplina | 004 |
Soggetto topico |
Computer security
User interfaces (Computer systems) Bioinformatics Software engineering Multimedia information systems Artificial intelligence Systems and Data Security User Interfaces and Human Computer Interaction Computational Biology/Bioinformatics Software Engineering Multimedia Information Systems Artificial Intelligence |
ISBN | 3-662-54712-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 50 Jahre Informatik an den Universitäten in München -- Cybersicherheit Beyond 2020 -- Allgegenwärtige Mensch-Computer-Interaktion -- Software-Verifikation -- Innovationszentrum Mobiles Internet ZD.B -- Medieninformatik und Mensch-Computer-Interaktion an der LMU München -- Neuro-Robotics -- Herausforderungen an der Schnittstelle von Informatik und Gesellschaft -- Die Evolution des Hauptspeicher-Datenbanksystems HyPer -- Informatik-Forschung für digitale Mobilitätsplattformen. Das Münchner Wissensnetz -- Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. . |
Record Nr. | UNINA-9910484794303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Model-Based Engineering of Embedded Systems [[electronic resource] ] : Extensions of the SPES 2020 Methodology / / edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 303 p. 98 illus.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Special purpose computers Automotive engineering Aerospace engineering Astronautics Software Engineering Special Purpose and Application-Based Systems Automotive Engineering Aerospace Technology and Astronautics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices. |
Record Nr. | UNINA-9910155299903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automotive Software-Connected Services in Mobile Networks [[electronic resource] ] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / / edited by Manfred Broy, Ingolf Krüger, Michael Meisinger |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XIV, 156 p.) |
Disciplina | 629.20285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Special purpose computers
Software engineering Computers Computer logic Computer simulation Special Purpose and Application-Based Systems Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Simulation and Modeling |
ISBN | 3-540-37678-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code -- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform -- On the Fault Hypothesis for a Safety-Critical Real-Time System -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service Federations in Automotive Software Applications -- Towards a Component Architecture for Hard Real Time Control Applications -- Adding Value to Automotive Models -- Automotive Software: A Challenge and Opportunity for Model-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink Integration of Giotto/TDL. |
Record Nr. | UNISA-996466161803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automotive Software-Connected Services in Mobile Networks [[electronic resource] ] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / / edited by Manfred Broy, Ingolf Krüger, Michael Meisinger |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XIV, 156 p.) |
Disciplina | 629.20285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Special purpose computers
Software engineering Computers Computer logic Computer simulation Special Purpose and Application-Based Systems Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Simulation and Modeling |
ISBN | 3-540-37678-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code -- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform -- On the Fault Hypothesis for a Safety-Critical Real-Time System -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service Federations in Automotive Software Applications -- Towards a Component Architecture for Hard Real Time Control Applications -- Adding Value to Automotive Models -- Automotive Software: A Challenge and Opportunity for Model-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink Integration of Giotto/TDL. |
Record Nr. | UNINA-9910484630003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods in Programming and Their Applications [[electronic resource] ] : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (IX, 438 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation |
ISBN | 3-540-48056-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic for refinement -- A compositional semantics of combining forms for gamma programs -- Algebraic properties of loop invariants -- An approach to parameterized first-order specifications: Semantics, correctness, parameter passing -- Algebraic modelling of imperative languages with pointers -- Galois connection based abstract interpretations for strictness analysis -- Efficient chaotic iteration strategies with widenings -- Semantic analysis of interval congruences -- Polymorphic typing for call-by-name semantics -- Logic program testing based on abstract interpretation -- Analysis of some semantic properties for programs of the applicative language AL -- Communication as unification in process algebras: Operational semantics -- Functional development of massively parallel programs -- Observing some properties of event structures -- The other linear logic -- Duration Calculi: An overview -- A unique formalism for specifying and designing objects in a parallel environment -- On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers -- Saturation replaces induction for a miniscoped linear temporal logic -- A formal approach to requirements engineering -- A two-phase approach to reverse engineering using formal methods -- Algebraically provable specification of optimized compilations -- Formal derivation of an error-detecting distributed data scheduler using Changeling -- REAL92: A combined specification language for real-time concurrent systems and properties -- Algebraic calculation of graph and sorting algorithms -- Automatical synthesis of programs with recursions -- Parsing in Isbes. |
Record Nr. | UNISA-996466046803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Systems Specification [[electronic resource] ] : The RPC-Memory Specification Case Study / / edited by Manfred Broy, Stephan Merz, Katharina Spies |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XXIII, 543 p.) |
Disciplina | 004/.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Computer communication systems Computer logic Theory of Computation Software Engineering Computer Communication Networks Logics and Meanings of Programs |
ISBN | 3-540-49573-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The RPC-memory specification problem problem statement -- The RPC-memory case study: A synopsis -- A TLA solution to the RPC-memory specification problem -- A dynamic specification of the RPC-memory problem -- A memory module specification using composable high-level petri nets -- Constraint oriented temporal logic specification -- A functional solution to the RPC-memory specification problem -- A solution relying on the model checking of boolean transition systems -- Applying a temporal logic to the RPC-memory specification problem -- Using PVS for an assertional verification of the RPC-memory specification problem -- Specification and verification using a visual formalism on top of temporal logic -- A case study in verification based on trace abstractions -- Incremental specification with joint actions: The RPC-memory specification problem -- The methodology of modal constraints -- Tackling the RPC-memory specification problem with I/O automata -- Using relations on streams to solve the RPC-memory specification problem -- The RPC-memory specification problem: UNITY + refinement calculus. |
Record Nr. | UNISA-996465596403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software [[electronic resource] ] : Final Report / / edited by Manfred Broy, Stefan Jähnichen |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (X, 458 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-47802-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Correct software: From experiments to applications -- A method for the development of correct software -- Realizing sets by hash tables -- Event automata as a generic model of reactive systems -- On object-oriented design and verification -- Design of modular software systems with reuse -- AVL trees revisited: A case study in Spectrum -- KORSO reference languages concepts and application domains -- How to cope with the Spectrum of Spectrum -- A fine-grain sort discipline and its application to formal program construction -- TROLL light — The language and its development environment -- Formalization of algebraic specification in the development language Deva -- Construction and deduction methods for the formal development of software -- Experiences with a specification environment -- Towards correct, efficient and reusable transformational developments -- The verification system Tatzelwurm -- Seduct — A proof compiler for first order logic -- Traverdi — Transformation and verification of distributed systems -- The Kiv-approach to software verification -- Three selected case studies in verification -- Case study “production cell”: A comparative study in formal specification and verification -- The Korso case study for software engineering with formal methods: A medical information system. |
Record Nr. | UNISA-996465766303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Methods of Programming [[electronic resource] ] : Selected Papers on the CIP-Project / / edited by Manfred Broy, Martin Wirsing |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (X, 250 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques |
ISBN | 3-540-38491-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Two metamodels for application system development conventional vs. object-oriented approach -- Transformational meta program development -- Another case study on reusability of transformational developments -- A formal method for the systematic reuse of specification components -- Deductive program development: Evaluation in reverse Polish notation as an example -- Literate program derivation: A case study -- Programs viewed as Skolem functions -- Calculating a garbage collector -- On the use of elements of functional programming in program development by transformations -- Transformational development of circuit descriptions for binary adders. |
Record Nr. | UNISA-996465291103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNINA-9910433229903321 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
Autore | Böhm Wolfgang (Wolfgang J.) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Springer Nature, 2021 |
Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
ISBN | 3-030-62136-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
Record Nr. | UNISA-996464424603316 |
Böhm Wolfgang (Wolfgang J.)
![]() |
||
Springer Nature, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|