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.
Behavioural Models : From Modelling Finite Automata to Analysing Business Processes / / by Matthias Kunze, Mathias Weske
| Behavioural Models : From Modelling Finite Automata to Analysing Business Processes / / by Matthias Kunze, Mathias Weske |
| Autore | Kunze Matthias |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | xii, 279 p. ; : 177 illus |
| Disciplina | 620.0011 |
| Soggetto topico |
Software engineering
Computers Computer simulation Management information systems Industrial management Software Engineering Computation by Abstract Devices Simulation and Modeling Business Process Management |
| ISBN | 3-319-44960-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Discrete Dynamic Systems -- 3 Sequential Systems -- 4 Concurrent Systems -- 5 Business Process Models -- 6 State Spaces -- 7 Comparing Behaviour -- 8 Verification -- References -- Index. |
| Record Nr. | UNINA-9910254984903321 |
Kunze Matthias
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
| Business Process Management [[electronic resource] ] : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 514 p. 118 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Application software Data mining E-commerce Software engineering Artificial intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery e-Commerce/e-business Software Engineering Artificial Intelligence |
| ISBN | 3-319-98648-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reflections on BPM -- BPM: Foundations, Engineering, Management -- Bringing Middleware to Everyday Programmers with Ballerina -- Track I: Concepts and Methods in Business Process Modeling and Analysis -- Open to Change: A Theory for Iterative Test-Driven Modelling -- Construction Process Modeling: Representing Activities, Items and their Interplay -- Feature-Oriented Composition of Declarative Artifact-Centric Process Models -- Animating Multiple Instances in BPMN Collaborations: from Formal Semantics to Tool Support -- Managing Decision Tasks and Events in Time-aware Business Process Models -- Track I: Foundations of Process Discovery -- Interestingness of Traces in Declarative Process Mining: The Janus LTLpf Approach -- Unbiased, Fine-Grained Description of Processes Performance from Event Data -- Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery -- Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery -- Track II: Alignments and Conformance Checking -- Efficiently Computing Alignments using the Extended Marking Equation -- An Evolutionary Technique to Approximate Multiple Optimal Alignments -- Maximizing Synchronization for Aligning Observed and Modelled Behaviour -- Online Conformance Checking Using Behavioural Patterns -- Track II: Process Model Analysis and Machine Learning -- BINet: Multivariate Business Process Anomaly Detection Using Deep Learning -- Finding Structure in the Unstructured: Hybrid Feature Set Clustering for Process Discovery -- act2vec, trace2vec, log2vec, and model2vec: Representation Learning for Business Processes -- Who is behind the Model? Classifying Modelers based on Pragmatic Model Features -- Finding the "Liberos": Discover Organizational Models with Overlaps -- Track III: Digital Process Innovation -- On The Synergies Between Business Process Management and Digital Innovation -- Effective Leadership in BPM Implementations: A Case Study of BPM in a Developing Country, Public Sector Context -- Conceptualizing a Framework to Manage the Short Head and Long Tail of Business Processes -- Using Business Process Compliance Approaches for Compliance Management with regard to Digitization: Evidence from a Systematic Literature Review -- Big Data Analytics as an Enabler of Process Innovation Capabilities: A Configurational Approach -- Track III: Method Analysis and Selection -- Assessing the Quality of Search Process Models -- Predictive Process Monitoring Methods: Which One Suits Me Best -- How Context-aware are Extant BPM Methods and Tools? – Development of an Assessment Scheme -- Process Forecasting: Towards Proactive Business Process Management. |
| Record Nr. | UNISA-996466367303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
| Business Process Management : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 514 p. 118 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Application software Data mining E-commerce Software engineering Artificial intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery e-Commerce/e-business Software Engineering Artificial Intelligence |
| ISBN | 3-319-98648-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reflections on BPM -- BPM: Foundations, Engineering, Management -- Bringing Middleware to Everyday Programmers with Ballerina -- Track I: Concepts and Methods in Business Process Modeling and Analysis -- Open to Change: A Theory for Iterative Test-Driven Modelling -- Construction Process Modeling: Representing Activities, Items and their Interplay -- Feature-Oriented Composition of Declarative Artifact-Centric Process Models -- Animating Multiple Instances in BPMN Collaborations: from Formal Semantics to Tool Support -- Managing Decision Tasks and Events in Time-aware Business Process Models -- Track I: Foundations of Process Discovery -- Interestingness of Traces in Declarative Process Mining: The Janus LTLpf Approach -- Unbiased, Fine-Grained Description of Processes Performance from Event Data -- Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery -- Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery -- Track II: Alignments and Conformance Checking -- Efficiently Computing Alignments using the Extended Marking Equation -- An Evolutionary Technique to Approximate Multiple Optimal Alignments -- Maximizing Synchronization for Aligning Observed and Modelled Behaviour -- Online Conformance Checking Using Behavioural Patterns -- Track II: Process Model Analysis and Machine Learning -- BINet: Multivariate Business Process Anomaly Detection Using Deep Learning -- Finding Structure in the Unstructured: Hybrid Feature Set Clustering for Process Discovery -- act2vec, trace2vec, log2vec, and model2vec: Representation Learning for Business Processes -- Who is behind the Model? Classifying Modelers based on Pragmatic Model Features -- Finding the "Liberos": Discover Organizational Models with Overlaps -- Track III: Digital Process Innovation -- On The Synergies Between Business Process Management and Digital Innovation -- Effective Leadership in BPM Implementations: A Case Study of BPM in a Developing Country, Public Sector Context -- Conceptualizing a Framework to Manage the Short Head and Long Tail of Business Processes -- Using Business Process Compliance Approaches for Compliance Management with regard to Digitization: Evidence from a Systematic Literature Review -- Big Data Analytics as an Enabler of Process Innovation Capabilities: A Configurational Approach -- Track III: Method Analysis and Selection -- Assessing the Quality of Search Process Models -- Predictive Process Monitoring Methods: Which One Suits Me Best -- How Context-aware are Extant BPM Methods and Tools? – Development of an Assessment Scheme -- Process Forecasting: Towards Proactive Business Process Management. |
| Record Nr. | UNINA-9910349411303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske
| Business Process Management [[electronic resource] ] : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 314 p.) |
| Disciplina | 658.054 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-25970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
| Record Nr. | UNISA-996465432303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske
| Business Process Management : Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings / / edited by Jörg Desel, Barbara Pernici, Mathias Weske |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 314 p.) |
| Disciplina | 658.054 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Production management
Application software Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Operations Management Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-25970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Modeling -- Consistency in Model Integration -- Using TimeNET to Evaluate Operational Planning Processes -- Business Objectives as Drivers for Process Improvement: Practices and Experiences at Thales Naval The Netherlands (TNNL) -- Modeling Medical E-services -- Formal Models in Business Process Management -- OPCATeam – Collaborative Business Process Modeling with OPM -- On the Semantics of EPCs: A Framework for Resolving the Vicious Circle -- Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking -- Miscellaneous -- A Workflow-Oriented System Architecture for the Management of Container Transportation -- Business to Business Transaction Modeling and WWW Support -- Integration of Multi-attributed Negotiations within Business Processes -- Analysis and Verification of Business Processes -- Management of Knowledge Intensive Business Processes -- SMART: System Model Acquisition from Requirements Text -- Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model -- Process Mining -- Interactive Workflow Mining -- Supporting Usage-Centered Workflow Design: Why and How? -- Mining Social Networks: Uncovering Interaction Patterns in Business Processes -- Workflow Management -- Model-Driven Approach to Workflow Execution -- On Dealing with Structural Conflicts between Process Type and Instance Changes -- Cohesion and Coupling Metrics for Workflow Process Design. |
| Record Nr. | UNINA-9910144152003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske
| Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 658.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN | 3-540-44895-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
| Record Nr. | UNISA-996465774203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske
| Business Process Management : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 658.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN | 3-540-44895-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
| Record Nr. | UNINA-9910143870603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management Forum : BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
| Business Process Management Forum : BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings / / edited by Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 245 p. 49 illus.) |
| Disciplina | 658.054 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Application software Business information services Data mining Business Process Management Computer Application in Administrative Data Processing Computer and Information Systems Applications Business Information Systems Data Mining and Knowledge Discovery |
| ISBN | 3-319-98651-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Track I: Foundations -- Process Mining Crimes - A Threat to the Validity of Process Discovery Evaluations -- A Logical Formalization of Time-Critical Processes with Resources -- Business Process and Rule Integration Approaches - An Empirical Analysis -- Business Process Activity Relationships: is there anything beyond arrows. - Enriched modeling and reasoning on Business Processes with ontologies and Answer Set Programming -- Track II: Engineering -- Alarm-Based Prescriptive Process Monitoring -- iProcess: Enabling IoT Platforms in Data-Driven Knowledge-Intensive Processes -- Storytelling Integration of the Internet of Things into Business Processes -- Leveraging Unstructured Data to Analyze Implicit Process Context -- Advanced Simulation of Resources Constructs in Business Process Models -- Track III: Management -- A Typology of di_erent forms of Business Process Standardisation (BPS) -- How to Put Organizational Ambidexterity into Practice { Towards a Maturity Model -- A Data Governance Framework for Platform Ecosystem Process Management. -Designing a Process Mining-Enabled Decision Support System for Business Process Standardization in ERP Implementation Projects. . |
| Record Nr. | UNINA-9910299163803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-Oriented and Internet-Based Technologies [[electronic resource] ] : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings / / edited by Mathias Weske, Peter Liggesmeyer
| Object-Oriented and Internet-Based Technologies [[electronic resource] ] : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings / / edited by Mathias Weske, Peter Liggesmeyer |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 239 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Database management Information storage and retrieval Artificial intelligence Computer communication systems Operating systems (Computers) Software Engineering Database Management Information Storage and Retrieval Artificial Intelligence Computer Communication Networks Operating Systems |
| ISBN | 3-540-30196-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Semantic Web Services – Fundamentals and Advanced Topics -- Langugages and Models -- Support for Value Types in an Object-Oriented Programming Language -- Self-accounting as Principle for Portable CPU Control in Java -- Agents and Semantic Web -- Organizing Knowledge in a Semantic Web for Pathology -- Listening to Agents – Transparent Representation and Presentation of Agent Communication in Mobile Systems -- Supporting Software Prcesses I -- Co-operative and Distributed Configuration -- Micro-measurements for Dynamic Aspect-Oriented Systems -- Supporting Software Prcesses II -- Testing of Service-Oriented Architectures – A Practical Approach -- A UML Profile for GUI Layout -- Software Product Lines -- Reconciling Feature Modeling: A Feature Modeling Metamodel -- Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture -- Managing Product Line Variability by Patterns -- Software Architectures -- UnSCom: A Standardized Framework for the Specification of Software Components -- A Cross-Platform Application Environment for Nomadic Desktop Computing -- Case Study and Visions -- Agile Software Engineering: A New System for an Expanding Business Model at SCHUFA -- Ercatons: Thing-Oriented Programming. |
| Record Nr. | UNISA-996465632503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object-Oriented and Internet-Based Technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings / / edited by Mathias Weske, Peter Liggesmeyer
| Object-Oriented and Internet-Based Technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings / / edited by Mathias Weske, Peter Liggesmeyer |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 239 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Database management Information storage and retrieval Artificial intelligence Computer communication systems Operating systems (Computers) Software Engineering Database Management Information Storage and Retrieval Artificial Intelligence Computer Communication Networks Operating Systems |
| ISBN | 3-540-30196-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Semantic Web Services – Fundamentals and Advanced Topics -- Langugages and Models -- Support for Value Types in an Object-Oriented Programming Language -- Self-accounting as Principle for Portable CPU Control in Java -- Agents and Semantic Web -- Organizing Knowledge in a Semantic Web for Pathology -- Listening to Agents – Transparent Representation and Presentation of Agent Communication in Mobile Systems -- Supporting Software Prcesses I -- Co-operative and Distributed Configuration -- Micro-measurements for Dynamic Aspect-Oriented Systems -- Supporting Software Prcesses II -- Testing of Service-Oriented Architectures – A Practical Approach -- A UML Profile for GUI Layout -- Software Product Lines -- Reconciling Feature Modeling: A Feature Modeling Metamodel -- Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture -- Managing Product Line Variability by Patterns -- Software Architectures -- UnSCom: A Standardized Framework for the Specification of Software Components -- A Cross-Platform Application Environment for Nomadic Desktop Computing -- Case Study and Visions -- Agile Software Engineering: A New System for an Expanding Business Model at SCHUFA -- Ercatons: Thing-Oriented Programming. |
| Record Nr. | UNINA-9910144345503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
