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.
Advances in conceptual modeling : challenging perspectives ; ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 ; proceedings / / Carlos Alberto Heuser, Gunther Pernul (eds.)
| Advances in conceptual modeling : challenging perspectives ; ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 ; proceedings / / Carlos Alberto Heuser, Gunther Pernul (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIX, 358 p.) |
| Disciplina | 005.74/3 |
| Altri autori (Persone) |
HeuserCarlos Alberto
PernulG <1961-> (Gunther) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Conceptual structures (Information theory)
Database design Relational databases |
| ISBN | 3-642-04947-8 |
| Classificazione |
DAT 310f
DAT 600f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoMoL 2009 – Conceptual Modeling in the Large -- Preface to CoMoL 2009 -- Semantic Service Design for Collaborative Business Processes in Internetworked Enterprises -- Algebraic Meta-structure Handling of Huge Database Schemata -- On Computing the Importance of Entity Types in Large Conceptual Schemas -- ETheCoM 2009 – First International Workshop on Evolving Theories of Conceptual Modelling -- Preface to ETheCoM 2009 -- Invited Talks -- Is It Important to Explain a Theorem? A Case Study on UML and -- Towards a Theory of Conceptual Modelling -- Accepted Papers -- Assessing Modal Aspects of OntoUML Conceptual Models in Alloy -- First-Order Types and Redundant Relations in Relational Databases -- On Matrix Representations of Participation Constraints -- Toward Formal Semantics for Data and Schema Evolution in Data Stream Management Systems -- XML Machines -- FP-UML 2009 – Fifth International Workshop on Foundations and Practices of UML -- Preface to FP-UML 2009 -- Dependability and Agent Modeling -- Applying AUML and UML 2 in the Multi-agent Systems Project -- A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software -- Applying a UML Extension to Build Use Cases Diagrams in a Secure Mobile Grid Application -- Semantics Representation and Tools -- The MP (Materialization Pattern) Model for Representing Math Educational Standards -- XMI2USE: A Tool for Transforming XMI to USE Specifications -- MOST-ONISW 2009 – The Joint International Workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web -- Preface to MOST-ONISW 2009 -- Analysis Procedure for Validation of Domain Class Diagrams Based on Ontological Analysis -- Ontology for Imagistic Domains: Combining Textual and Pictorial Primitives -- Using a Foundational Ontology for Reengineering a Software Enterprise Ontology -- Multi-level Conceptual Modeling and OWL -- QoIS 2009 – The Fourth International Workshop on Quality of Information Systems -- Preface to QoIS 2009 -- Assessment of Data Quality Factors -- Completeness in Databases with Maybe-Tuples -- Modeling, Measuring and Monitoring the Quality of Information -- Tools for Information System Quality Assessment -- Evaluating the Functionality of Conceptual Models -- Qbox-Services: Towards a Service-Oriented Quality Platform -- RIGiM 2009 – Third International Workshop on Requirements, Intentions and Goals in Conceptual Modeling -- Preface to RIGiM 2009 -- Modelling -- A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability -- A Lightweight GRL Profile for i* Modeling -- Elicitation Issues -- From User Goals to Service Discovery and Composition -- ITGIM: An Intention-Driven Approach for Analyzing the IT Governance Requirements -- Adapting the i* Framework for Software Product Lines -- SECOGIS 2009 – Third International Workshop on Semantic and Conceptual Issues in Geographic Information Systems -- Preface to SeCoGIS 2009 -- Foundational Aspects -- A New Point Access Method Based on Wavelet Trees -- A Reference System for Topological Relations between Compound Spatial Objects -- A Model for Geographic Knowledge Extraction on Web Documents -- Semantical Aspects -- A Semantic Approach to Describe Geospatial Resources -- An Ontology-Based Framework for Geographic Data Integration -- A Semantic Approach for the Modeling of Trajectories in Space and Time. |
| Record Nr. | UNINA-9910484294503321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Conceptual Modeling - Challenging Perspectives [[electronic resource] ] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Carlos A. Heuser, Günther Pernul
| Advances in Conceptual Modeling - Challenging Perspectives [[electronic resource] ] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Carlos A. Heuser, Günther Pernul |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIX, 358 p.) |
| Disciplina | 005.74/3 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Information storage and retrieval Data mining Computer programming Database management Software Engineering/Programming and Operating Systems Information Storage and Retrieval Data Mining and Knowledge Discovery Software Engineering Programming Techniques Database Management |
| Soggetto genere / forma |
Gramado (2009)
Kongress. |
| ISBN | 3-642-04947-8 |
| Classificazione |
DAT 310f
DAT 600f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CoMoL 2009 – Conceptual Modeling in the Large -- Preface to CoMoL 2009 -- Semantic Service Design for Collaborative Business Processes in Internetworked Enterprises -- Algebraic Meta-structure Handling of Huge Database Schemata -- On Computing the Importance of Entity Types in Large Conceptual Schemas -- ETheCoM 2009 – First International Workshop on Evolving Theories of Conceptual Modelling -- Preface to ETheCoM 2009 -- Invited Talks -- Is It Important to Explain a Theorem? A Case Study on UML and -- Towards a Theory of Conceptual Modelling -- Accepted Papers -- Assessing Modal Aspects of OntoUML Conceptual Models in Alloy -- First-Order Types and Redundant Relations in Relational Databases -- On Matrix Representations of Participation Constraints -- Toward Formal Semantics for Data and Schema Evolution in Data Stream Management Systems -- XML Machines -- FP-UML 2009 – Fifth International Workshop on Foundations and Practices of UML -- Preface to FP-UML 2009 -- Dependability and Agent Modeling -- Applying AUML and UML 2 in the Multi-agent Systems Project -- A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software -- Applying a UML Extension to Build Use Cases Diagrams in a Secure Mobile Grid Application -- Semantics Representation and Tools -- The MP (Materialization Pattern) Model for Representing Math Educational Standards -- XMI2USE: A Tool for Transforming XMI to USE Specifications -- MOST-ONISW 2009 – The Joint International Workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web -- Preface to MOST-ONISW 2009 -- Analysis Procedure for Validation of Domain Class Diagrams Based on Ontological Analysis -- Ontology for Imagistic Domains: Combining Textual and Pictorial Primitives -- Using a Foundational Ontology for Reengineering a Software Enterprise Ontology -- Multi-level Conceptual Modeling and OWL -- QoIS 2009 – The Fourth International Workshop on Quality of Information Systems -- Preface to QoIS 2009 -- Assessment of Data Quality Factors -- Completeness in Databases with Maybe-Tuples -- Modeling, Measuring and Monitoring the Quality of Information -- Tools for Information System Quality Assessment -- Evaluating the Functionality of Conceptual Models -- Qbox-Services: Towards a Service-Oriented Quality Platform -- RIGiM 2009 – Third International Workshop on Requirements, Intentions and Goals in Conceptual Modeling -- Preface to RIGiM 2009 -- Modelling -- A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability -- A Lightweight GRL Profile for i* Modeling -- Elicitation Issues -- From User Goals to Service Discovery and Composition -- ITGIM: An Intention-Driven Approach for Analyzing the IT Governance Requirements -- Adapting the i* Framework for Software Product Lines -- SECOGIS 2009 – Third International Workshop on Semantic and Conceptual Issues in Geographic Information Systems -- Preface to SeCoGIS 2009 -- Foundational Aspects -- A New Point Access Method Based on Wavelet Trees -- A Reference System for Topological Relations between Compound Spatial Objects -- A Model for Geographic Knowledge Extraction on Web Documents -- Semantical Aspects -- A Semantic Approach to Describe Geospatial Resources -- An Ontology-Based Framework for Geographic Data Integration -- A Semantic Approach for the Modeling of Trajectories in Space and Time. |
| Record Nr. | UNISA-996465864903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino
| Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 277 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
Lipari (2007) |
| ISBN | 3-540-89762-3 |
| Classificazione |
DAT 310f
SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology -- The Name and Nature of Software Engineering -- A Modeling Language for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA and Web Services -- Service Oriented Architecture: Overview and Directions -- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology -- Software Manipulation with Annotations in Java -- Zero-Overhead Composable Aspects for .NET -- Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution -- Security -- Security in Distributed Applications. |
| Record Nr. | UNISA-996465542003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino
| Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 277 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
Lipari (2007) |
| ISBN | 3-540-89762-3 |
| Classificazione |
DAT 310f
SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology -- The Name and Nature of Software Engineering -- A Modeling Language for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA and Web Services -- Service Oriented Architecture: Overview and Directions -- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology -- Software Manipulation with Annotations in Java -- Zero-Overhead Composable Aspects for .NET -- Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution -- Security -- Security in Distributed Applications. |
| Record Nr. | UNINA-9910482961003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Modeling - ER 2009 [[electronic resource] ] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliverira
| Conceptual Modeling - ER 2009 [[electronic resource] ] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings / / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliverira |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVIII, 516 p.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computers Computer programming Data structures (Computer science) Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Models and Principles Data Structures |
| Soggetto genere / forma |
Gramado (2009)
Kongress. |
| ISBN | 3-642-04840-4 |
| Classificazione |
DAT 310f
DAT 600f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ER 30th Anniversary Paper -- Thirty Years of ER Conferences: Milestones, Achievements, and Future Directions -- Keynotes -- A Frame Manipulation Algebra for ER Logical Stage Modelling -- Conceptual Modeling in the Time of the Revolution: Part II -- Data Auditor: Analyzing Data Quality Using Pattern Tableaux -- Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models -- An Empirical Study of Enterprise Conceptual Modeling -- Formalizing Linguistic Conventions for Conceptual Models -- Requirements Engineering -- Monitoring and Diagnosing Malicious Attacks with Autonomic Software -- A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations -- Modeling Domain Variability in Requirements Engineering with Contexts -- Foundational Aspects -- Information Networking Model -- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations -- Inducing Metaassociations and Induced Relationships -- Query Approaches -- Tractable Query Answering over Conceptual Schemata -- Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback -- Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets -- Space and Time Modeling -- Geometrically Enhanced Conceptual Modelling -- Anchor Modeling -- Evaluating Exceptions on Time Slices -- Schema Matching and Integration -- A Strategy to Revise the Constraints of the Mediated Schema -- Schema Normalization for Improving Schema Matching -- Extensible User-Based XML Grammar Matching -- Ontology-Based Approaches -- Modeling Associations through Intensional Attributes -- Modeling Concept Evolution: A Historical Perspective -- FOCIH: Form-Based Ontology Creation and Information Harvesting -- Specifying Valid Compound Terms in Interrelated Faceted Taxonomies -- Application Contexts -- Conceptual Modeling in Disaster Planning Using Agent Constructs -- Modelling Safe Interface Interactions in Web Applications -- A Conceptual Modeling Approach for OLAP Personalization -- Creating User Profiles Using Wikipedia -- Process and Service Modeling -- Hosted Universal Composition: Models, Languages and Infrastructure in mashArt -- From Static Methods to Role-Driven Service Invocation – A Metamodel for Active Content in Object Databases -- Business Process Modeling: Perceived Benefits -- Industrial Session -- Designing Law-Compliant Software Requirements -- A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design -- Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges. |
| Record Nr. | UNISA-996466364803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual modeling - ER 2009 : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, proceedings / / Alberto H.F. Laender ... [et al.] (eds.)
| Conceptual modeling - ER 2009 : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, proceedings / / Alberto H.F. Laender ... [et al.] (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, 2009 |
| Descrizione fisica | 1 online resource (XVIII, 516 p.) |
| Disciplina | 005.74 |
| Altri autori (Persone) | LaenderAlberto H. F. <1951-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Database design
Relational databases |
| ISBN | 3-642-04840-4 |
| Classificazione |
DAT 310f
DAT 600f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ER 30th Anniversary Paper -- Thirty Years of ER Conferences: Milestones, Achievements, and Future Directions -- Keynotes -- A Frame Manipulation Algebra for ER Logical Stage Modelling -- Conceptual Modeling in the Time of the Revolution: Part II -- Data Auditor: Analyzing Data Quality Using Pattern Tableaux -- Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration -- Conceptual Modeling -- A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models -- An Empirical Study of Enterprise Conceptual Modeling -- Formalizing Linguistic Conventions for Conceptual Models -- Requirements Engineering -- Monitoring and Diagnosing Malicious Attacks with Autonomic Software -- A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations -- Modeling Domain Variability in Requirements Engineering with Contexts -- Foundational Aspects -- Information Networking Model -- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations -- Inducing Metaassociations and Induced Relationships -- Query Approaches -- Tractable Query Answering over Conceptual Schemata -- Query-By-Keywords (QBK): Query Formulation Using Semantics and Feedback -- Cluster-Based Exploration for Effective Keyword Search over Semantic Datasets -- Space and Time Modeling -- Geometrically Enhanced Conceptual Modelling -- Anchor Modeling -- Evaluating Exceptions on Time Slices -- Schema Matching and Integration -- A Strategy to Revise the Constraints of the Mediated Schema -- Schema Normalization for Improving Schema Matching -- Extensible User-Based XML Grammar Matching -- Ontology-Based Approaches -- Modeling Associations through Intensional Attributes -- Modeling Concept Evolution: A Historical Perspective -- FOCIH: Form-Based Ontology Creation and Information Harvesting -- Specifying Valid Compound Terms in Interrelated Faceted Taxonomies -- Application Contexts -- Conceptual Modeling in Disaster Planning Using Agent Constructs -- Modelling Safe Interface Interactions in Web Applications -- A Conceptual Modeling Approach for OLAP Personalization -- Creating User Profiles Using Wikipedia -- Process and Service Modeling -- Hosted Universal Composition: Models, Languages and Infrastructure in mashArt -- From Static Methods to Role-Driven Service Invocation – A Metamodel for Active Content in Object Databases -- Business Process Modeling: Perceived Benefits -- Industrial Session -- Designing Law-Compliant Software Requirements -- A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design -- Virtual Business Operating Environment in the Cloud: Conceptual Architecture and Challenges. |
| Record Nr. | UNINA-9910483779603321 |
| Berlin ; ; Heidelberg, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
| Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 307 p.) |
| Disciplina | 005.27 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Computers Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Models and Principles Information Systems Applications (incl. Internet) |
| Soggetto genere / forma |
Kongress.
Lissabon (2009) |
| ISBN | 3-642-02053-4 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. |
| Record Nr. | UNISA-996465429103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos
| Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XII, 307 p.) |
| Disciplina | 005.27 |
| Altri autori (Persone) |
FieldJohn
VasconcelosVasco T |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing |
| ISBN | 3-642-02053-4 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. |
| Record Nr. | UNINA-9910484496503321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FM 2009 : formal methods / / volume editors, Ana Cavalcanti, Dennis Dams
| FM 2009 : formal methods / / volume editors, Ana Cavalcanti, Dennis Dams |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; London, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVII, 820 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CavalcantiAna
DamsDennis |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Formal methods (Computer science) System design - Mathematics |
| ISBN | 3-642-05089-1 |
| Classificazione |
DAT 310f
DAT 510f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology? -- Guess and Verify – Back to the Future -- Verification, Testing and Statistics -- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions for Parameterized Systems -- Abstract Model Checking without Computing the Abstraction -- Three-Valued Spotlight Abstractions -- Fair Model Checking with Process Counter Abstraction -- Compositionality -- Systematic Development of Trustworthy Component Systems -- Partial Order Reductions Using Compositional Confluence Detection -- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition -- Verification -- Abstract Specification of the UBIFS File System for Flash Memory -- Inferring Mealy Machines -- Formal Management of CAD/CAM Processes -- Concurrency -- Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study -- Refinement -- Sums and Lovers: Case Studies in Security, Compositionality and Refinement -- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing -- Model Checking Linearizability via Refinement -- Static Analysis -- It’s Doomed; We Can Prove It -- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making Temporal Logic Calculational: A Tool for Unification and Discovery -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning about Expectation Properties for Continuous Random Variables -- Semantics -- The Denotational Semantics of slotted-Circus -- Unifying Probability with Nondeterminism -- Towards an Operational Semantics for Alloy -- A Robust Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks -- Formal Verification of Avionics Software Products -- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study -- Object-Orientation -- Connecting UML and VDM++ with Open Tool Support -- Language and Tool Support for Class and State Machine Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects -- Abstract Object Creation in Dynamic Logic -- Pointers -- Reasoning about Memory Layouts -- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis -- Real-Time -- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery -- Verifying Real-Time Systems against Scenario-Based Requirements -- Special Track: Tools and Industrial Applications II -- Formal Specification of a Cardiac Pacing System -- Automated Property Verification for Large Scale B Models -- Reduced Execution Semantics of MPI: From Theory to Practice -- Model Checking II -- A Metric Encoding for Bounded Model Checking -- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method -- Verifying Information Flow Control over Unbounded Processes -- Specification and Verification of Web Applications in Rewriting Logic -- Industry-Day Abstracts -- Verifying the Microsoft Hyper-V Hypervisor with VCC -- Industrial Practice in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal at Novo Nordisk. |
| Record Nr. | UNINA-9910483872003321 |
| Berlin ; ; London, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams
| FM 2009: Formal Methods [[electronic resource] ] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / / edited by Ana Cavalcanti, Dennis Dams |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVII, 820 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
User interfaces (Computer systems) Computer logic Programming languages (Electronic computers) Computer programming Software Engineering Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques |
| Soggetto genere / forma |
Eindhoven (2009)
Kongress. |
| ISBN | 3-642-05089-1 |
| Classificazione |
DAT 310f
DAT 510f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology? -- Guess and Verify – Back to the Future -- Verification, Testing and Statistics -- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions for Parameterized Systems -- Abstract Model Checking without Computing the Abstraction -- Three-Valued Spotlight Abstractions -- Fair Model Checking with Process Counter Abstraction -- Compositionality -- Systematic Development of Trustworthy Component Systems -- Partial Order Reductions Using Compositional Confluence Detection -- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition -- Verification -- Abstract Specification of the UBIFS File System for Flash Memory -- Inferring Mealy Machines -- Formal Management of CAD/CAM Processes -- Concurrency -- Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study -- Refinement -- Sums and Lovers: Case Studies in Security, Compositionality and Refinement -- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing -- Model Checking Linearizability via Refinement -- Static Analysis -- It’s Doomed; We Can Prove It -- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making Temporal Logic Calculational: A Tool for Unification and Discovery -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning about Expectation Properties for Continuous Random Variables -- Semantics -- The Denotational Semantics of slotted-Circus -- Unifying Probability with Nondeterminism -- Towards an Operational Semantics for Alloy -- A Robust Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks -- Formal Verification of Avionics Software Products -- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study -- Object-Orientation -- Connecting UML and VDM++ with Open Tool Support -- Language and Tool Support for Class and State Machine Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects -- Abstract Object Creation in Dynamic Logic -- Pointers -- Reasoning about Memory Layouts -- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis -- Real-Time -- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery -- Verifying Real-Time Systems against Scenario-Based Requirements -- Special Track: Tools and Industrial Applications II -- Formal Specification of a Cardiac Pacing System -- Automated Property Verification for Large Scale B Models -- Reduced Execution Semantics of MPI: From Theory to Practice -- Model Checking II -- A Metric Encoding for Bounded Model Checking -- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method -- Verifying Information Flow Control over Unbounded Processes -- Specification and Verification of Web Applications in Rewriting Logic -- Industry-Day Abstracts -- Verifying the Microsoft Hyper-V Hypervisor with VCC -- Industrial Practice in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal at Novo Nordisk. |
| Record Nr. | UNISA-996466367603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
