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 [[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 | ||
| ||
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 | ||
| ||
Formal Methods: Foundations and Applications [[electronic resource] ] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
| Formal Methods: Foundations and Applications [[electronic resource] ] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 351 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Computer logic Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Theory of Computation Software Engineering Logics and Meanings of Programs Programming Techniques |
| Soggetto genere / forma |
Gramado (2009)
Kongress (2009) Kongress. Online-Publikation |
| ISBN | 3-642-10452-5 |
| Classificazione |
DAT 310f
DAT 325f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speeding Up Simulation of SystemC Using Model Checking -- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering -- Satisfiability Modulo Theories: An Appetizer -- Interruption Testing of Reactive Systems -- Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS -- Concurrent Models of Flash Memory Device Behaviour -- Corecursive Algebras: A Study of General Structured Corecursion -- Formalizing FreeRTOS: First Steps -- A Mechanized Strategy for Safe Abstraction of CSP Specifications -- Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B -- An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model -- Towards Safe Design of Synchronous Bus Protocols in Event-B -- Mechanising Data-Types for Kernel Design in Z -- A Complete Set of Object Modeling Laws for Alloy -- Undecidability Results for Distributed Probabilistic Systems -- Formalisation and Analysis of Objects as CSP Processes -- Concolic Testing of the Multi-sector Read Operation for Flash Memory File System -- Low-Level Code Verification Based on CSP Models -- Formal Modelling of a Microcontroller Instruction Set in B -- Defining Behaviours by Quasi-finality -- Verifying Compiled File System Code -- Reasoning about General Quantum Programs over Mixed States -- A Simple and General Theoretical Account for Abstract Types. |
| Record Nr. | UNISA-996466304703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto genere / forma
-
Gramado (2009)
(3)
- Kongress. (3)
- Kongress (2009) (1)
- Online-Publikation (1)