Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Correct Software in Web Applications and Web Services / / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
| Correct Software in Web Applications and Web Services / / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (345 p.) |
| Disciplina |
004
004.0151 005.1 518.1 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Software engineering
Computer science—Mathematics Computer mathematics Algorithms Software Engineering/Programming and Operating Systems Mathematical Applications in Computer Science |
| ISBN | 3-319-17112-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems. |
| Record Nr. | UNINA-9910299252403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / / Andreas Prinz, Rick Reed, Jeanne Reed (eds.)
| SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / / Andreas Prinz, Rick Reed, Jeanne Reed (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PrinzAndreas
ReedRick ReedJeanne <1948-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
| ISBN |
3-540-31539-X
3-540-26612-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language issues -- Engineering issues -- Message sequence charts -- Applications and tools (short papers) -- Model driven architecture (short papers) -- Test and validation -- Code generation. |
| Altri titoli varianti | SDL Forum |
| Record Nr. | UNINA-9910484247703321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2005: Model Driven [[electronic resource] ] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed
| SDL 2005: Model Driven [[electronic resource] ] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.13/3 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer organization
Software engineering Computer logic Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN |
3-540-31539-X
3-540-26612-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. |
| Record Nr. | UNISA-996465822803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||