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.
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / / Jose Luiz Fiadeiro ... [et al.] (eds.)
| Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / / Jose Luiz Fiadeiro ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 004.01/512 |
| Altri autori (Persone) | FiadeiroJose Luiz <1961-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science - Mathematics
Algebra |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Connectors -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well, Simple -- Modelling Fusion Calculus using HD-Automata -- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL -- Using Proofs by Coinduction to Find “Traditional” Proofs -- From T-Coalgebras to Filter Structures and Transition Systems -- Context-Free Languages via Coalgebraic Trace Semantics -- Towards a Coalgebraic Semantics of the Ambient Calculus -- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic -- Ultrafilter Extensions for Coalgebras -- Equational Logic of Recursive Program Schemes -- The Category Theoretic Solution of Recursive Program Schemes -- A Categorical Approach to Simulations -- Behavioral Extensions of Institutions -- Discrete Lawvere Theories -- Final Semantics for Event-Pattern Reactive Programs -- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing -- Final Sequences and Final Coalgebras for Measurable Spaces -- Bireachability and Final Multialgebras -- Parametrized Exceptions -- Property Preserving Redesign of Specifications. |
| Altri titoli varianti | CALCO 2005 |
| Record Nr. | UNINA-9910484914003321 |
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings / / Schahram Dustdar, Jose Luiz Fiadeiro, Amit Sheth (eds.)
| Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings / / Schahram Dustdar, Jose Luiz Fiadeiro, Amit Sheth (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XVI, 486 p.) |
| Disciplina | 658/.05 |
| Altri autori (Persone) |
DustdarSchahram
FiadeiroJose Luiz <1961-> ShethA <1959-> (Amit) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Business - Data processing
Business - Data processing - Management Management information systems Workflow - Management |
| ISBN | 3-540-38903-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Enterprise Business Process Management – Architecture, Technology and Standards -- BizTalk Server, Windows Workflow Foundation, and BPM -- Monitoring and Mining -- Analyzing Interacting BPEL Processes -- Tracking over Collaborative Business Processes -- Beyond Workflow Mining -- Service Composition -- Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation -- Automated Service Composition Using Heuristic Search -- Structured Service Composition -- Isolating Process-Level Concerns Using Padus -- Process Models and Languages -- Process Equivalence: Comparing Two Process Models Based on Observed Behavior -- Investigations on Soundness Regarding Lazy Activities -- On the Suitability of BPMN for Business Process Modelling -- Workflow Model Compositions Preserving Relaxed Soundness -- Dynamic Process Management -- Semantic Correctness in Adaptive Process Management Systems -- A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems -- History-Based Joins: Semantics, Soundness and Implementation -- On Representing, Purging, and Utilizing Change Logs in Process Management Systems -- Service Composition -- Retracted: Towards Formal Verification of Web Service Composition -- E-Service/Process Composition Through Multi-agent Constraint Management -- Web Service E-Contract Establishment Using Features -- Applied BPM -- A Redesign Framework for Call Centers -- Building Business Process Driven Web Applications -- Industrial Papers -- A Proposal for an Open Solution Business Process Integration and Management Implementation Framework -- Experiences in Enhancing Existing BPM Tools with BPEL Import and Export -- Introducing Case Management: Opening Workflow Management’s Black Box -- IT Support for Release Management Processes in the Automotive Industry -- Diagnosing SCA Components Using Wombat -- Short Papers -- Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis -- Towards a Methodology for Deriving Contract-Compliant Business Processes -- An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior -- Optimizing Exception Handling in Workflows Using Process Restructuring -- Formalizing Service Interactions -- Decision Mining in ProM -- Managing Process Variants as an Information Resource -- Verification of Business Process Integration Options -- Verifying BPEL Workflows Under Authorisation Constraints -- Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems -- Faulty EPCs in the SAP Reference Model -- A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes -- Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services -- Parameterized BPEL Processes: Concepts and Implementation -- Behavioral Technique for Workflow Abstraction and Matching -- Erratum -- Towards Formal Verification of Web Service Composition. |
| Altri titoli varianti | BPM 2006 |
| Record Nr. | UNINA-9910484757603321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Jose Luiz Fiadeiro, Paola Inverardi (eds.)
| Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Jose Luiz Fiadeiro, Paola Inverardi (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XIII, 434 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FiadeiroJose Luiz <1961->
InverardiPaola |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Software engineering |
| ISBN | 3-540-78743-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). |
| Altri titoli varianti |
Joint European Conferences on Theory and Practice of Software
European Joint Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484413103321 |
| Berlin ; ; New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
| Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (VIII, 280 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FiadeiroJose Luiz <1961->
MossesPeter OrejasF (Fernando) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Computer science - Mathematics Abstract data types (Computer science) |
| ISBN | 9783540319597 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems. |
| Altri titoli varianti | WADT 2004 |
| Record Nr. | UNINA-9910484054103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||