Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
ISBN | 3-662-49224-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
Record Nr. | UNISA-996466191803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 369 p. 84 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
ISBN | 3-319-22969-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. |
Record Nr. | UNISA-996200367303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Trusted Cloud Computing [[electronic resource] /] / edited by Helmut Krcmar, Ralf Reussner, Bernhard Rumpe |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (335 p.) |
Disciplina |
004
004.6 005.1 005.7 |
Soggetto topico |
Computer communication systems
Computer security Software engineering Application software Computer Communication Networks Systems and Data Security Software Engineering Information Systems Applications (incl. Internet) |
ISBN | 3-319-12718-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Security and Privacy -- 1 GeneCloud: Secure Cloud Computing for Biomedical Research -- 2 Sealed Cloud – A Novel Approach to Safeguard against Insider Attacks -- 3 Side Channels in Secure Database Outsourcing on the Example of the MimoSecco Scheme -- 4 ReDS: A System for Revision-Secure Data Storage -- 5 Automatic Data Protection Certificates for Cloud-Services based on Secure Logging -- 6 A Trust Point-based Security Architecture for Sensor Data in the Cloud -- Part II Software Engineering and Software Quality -- 7 Quality Analysis Approaches for Cloud Services – Towards a Framework along the Customer’s Activity Cycle -- 8 A Model-based Software Development Kit for the SensorCloud Platform -- 9 TRESOR – Towards the Realization of a Trusted Cloud Ecosystem -- 10 Towards Reliability Estimation of Large Systems-of-Systems with the Palladio Component Model -- Part III Platforms, Middleware and Integration -- 11 Data Protection in the Cloud – The MimoSecco Approach -- 12 Secure Database Outsourcing to the Cloud Using the MimoSecco Middleware -- 13 SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators -- 14 Testbed for the Sensor Cloud -- 15 An Architecture for Trusted PaaS Cloud Computing for Personal Data -- 16 Privacy-Preserving Cloud Computing for Biomedical Research -- Part IV Social Aspects, Business Models and Standards -- 17 Designing a Business Model for a Cloud Marketplace for Healthcare -- 18 SensorCloud: Sociological Contextualization of an Innovative Cloud Platform -- 19 Cutting Through the Jungle of Cloud Computing Whitepapers: Development of an Evaluation Model. |
Record Nr. | UNINA-9910298980703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XVII, 726 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
UML (Computer science)
Computer software - Development Object-oriented methods (Computer science) |
ISBN | 3-540-46852-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk 1 (Abstract) -- Architecting Web-Based Systems with the Unified Modeling Language -- Software Architecture -- Extending Architectural Representation in UML with View Integration -- Enabling the Refinement of a Software Architecture into a Design -- Using the UML for Architectural Description -- UML and Other Notations -- Viewing the OML as a Variant of the UML -- A Comparison of the Business Object Notation and the Unified Modeling Language -- Formalizing the UML Class Diagram Using Object-Z -- Formalizing Interactions -- A Formal Approach to Collaborations in the Unified Modeling Language -- A Formal Semantics for UML Interactions -- Panel 1 -- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? -- Meta-Modeling -- Core Meta-Modelling Semantics of UML: The pUML Approach -- A Metamodel for OCL -- Tools -- Tool-Supported Compression of UML Class Diagrams -- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository -- Components -- Modeling Dynamic Software Components in UML -- Extending UML for Modeling Reflective Software Components -- UML Extension Mechanisms -- Nine Suggestions for Improving UML Extensibility -- A Classification of Stereotypes for Object-Oriented Modeling Languages -- First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns -- Process Modeling -- UML-Based Fusion Analysis -- Using UML for Modelling the Static Part of a Software Process -- Framework for Describing UML Compatible Development Processes -- Invited Talk 2 -- On the Behavior of Complex Object-Oriented Systems -- Real-Time Systems -- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain -- Modeling Hard Real Time Systems with UML The OOHARTS Approach -- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages -- Correct Realizations of Interface Constraints with OCL -- Analyzing UML Models 1 -- Generating Tests from UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why and What Panel -- Coding 1 -- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages -- UML Collaboration Diagrams and Their Transformation to Java -- Analyzing UML Models 2 -- Towards Three-Dimensional Representation and Animation of UML Diagrams -- Typechecking UML Static Models -- Precise Behavioral Modeling -- Analysing UML Use Cases as Contracts -- Closing the Gap between Object-Oriented Modeling of Structure and Behavior -- Static Modeling -- Black and White Diamonds -- Interconnecting Objects via Contracts -- How Can a Subsystem Be Both a Package and a Classifier? -- Applying the UML -- Using UML/OCL Constraints for Relational Database Design -- Towards a UML Extension for Hypermedia Design -- Why Unified Is not Universal -- Sequence Diagrams -- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study -- Timing Analysis of UML Sequence Diagrams -- Coding 2 -- The Normal Object Form: Bridging the Gap from Models to Code -- Modeling Exceptional Behavior -- Panel 3 -- Advanced Methods and Tools for a Precise UML. |
Record Nr. | UNINA-9910143641703321 |
Berlin, Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XVII, 726 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
UML (Computer science)
Computer software - Development Object-oriented methods (Computer science) |
ISBN | 3-540-46852-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk 1 (Abstract) -- Architecting Web-Based Systems with the Unified Modeling Language -- Software Architecture -- Extending Architectural Representation in UML with View Integration -- Enabling the Refinement of a Software Architecture into a Design -- Using the UML for Architectural Description -- UML and Other Notations -- Viewing the OML as a Variant of the UML -- A Comparison of the Business Object Notation and the Unified Modeling Language -- Formalizing the UML Class Diagram Using Object-Z -- Formalizing Interactions -- A Formal Approach to Collaborations in the Unified Modeling Language -- A Formal Semantics for UML Interactions -- Panel 1 -- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? -- Meta-Modeling -- Core Meta-Modelling Semantics of UML: The pUML Approach -- A Metamodel for OCL -- Tools -- Tool-Supported Compression of UML Class Diagrams -- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository -- Components -- Modeling Dynamic Software Components in UML -- Extending UML for Modeling Reflective Software Components -- UML Extension Mechanisms -- Nine Suggestions for Improving UML Extensibility -- A Classification of Stereotypes for Object-Oriented Modeling Languages -- First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns -- Process Modeling -- UML-Based Fusion Analysis -- Using UML for Modelling the Static Part of a Software Process -- Framework for Describing UML Compatible Development Processes -- Invited Talk 2 -- On the Behavior of Complex Object-Oriented Systems -- Real-Time Systems -- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain -- Modeling Hard Real Time Systems with UML The OOHARTS Approach -- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages -- Correct Realizations of Interface Constraints with OCL -- Analyzing UML Models 1 -- Generating Tests from UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why and What Panel -- Coding 1 -- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages -- UML Collaboration Diagrams and Their Transformation to Java -- Analyzing UML Models 2 -- Towards Three-Dimensional Representation and Animation of UML Diagrams -- Typechecking UML Static Models -- Precise Behavioral Modeling -- Analysing UML Use Cases as Contracts -- Closing the Gap between Object-Oriented Modeling of Structure and Behavior -- Static Modeling -- Black and White Diamonds -- Interconnecting Objects via Contracts -- How Can a Subsystem Be Both a Package and a Classifier? -- Applying the UML -- Using UML/OCL Constraints for Relational Database Design -- Towards a UML Extension for Hypermedia Design -- Why Unified Is not Universal -- Sequence Diagrams -- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study -- Timing Analysis of UML Sequence Diagrams -- Coding 2 -- The Normal Object Form: Bridging the Gap from Models to Code -- Modeling Exceptional Behavior -- Panel 3 -- Advanced Methods and Tools for a Precise UML. |
Record Nr. | UNISA-996465599103316 |
Berlin, Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|