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.
Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / / Michael Luck, Lin Padgham
| Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / / Michael Luck, Lin Padgham |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 225 p.) |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Software engineering |
| ISBN | 3-540-79488-3 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AOSE Methodology and Processes -- O-MaSE: A Customizable Approach to Developing Multiagent Development Processes -- Extending Gaia with Agent Design and Iterative Development -- AgentPrIMe: Adapting MAS Designs to Build Confidence -- Refining Goal Models by Evaluating System Behaviour -- A Goal-Oriented Software Testing Methodology -- Interacting Heterogeneous Agents -- Open Agent Systems ??? -- An Agent Framework for Processing FIPA-ACL Messages Based on Interaction Models -- A Methodology for Developing Multiagent Systems as 3D Electronic Institutions -- System Development Issues -- Reasoning About Risk in Agent’s Deliberation Process: A Jadex Implementation -- Generation of Repair Plans for Change Propagation -- An Expressway from Agent-Oriented Models to Prototypes -- Tools and Case Studies -- to AOSE Tools for the Conference Management System -- Developing a Multiagent Conference Management System Using the O-MaSE Process Framework -- Tool-Supported Development with Tropos: The Conference Management System Case Study -- The Prometheus Design Tool – A Conference Management System Case Study -- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study. |
| Record Nr. | UNINA-9910483403503321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / / Michael Luck, Lin Padgham
| Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / / Michael Luck, Lin Padgham |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 225 p.) |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Software engineering |
| ISBN | 3-540-79488-3 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AOSE Methodology and Processes -- O-MaSE: A Customizable Approach to Developing Multiagent Development Processes -- Extending Gaia with Agent Design and Iterative Development -- AgentPrIMe: Adapting MAS Designs to Build Confidence -- Refining Goal Models by Evaluating System Behaviour -- A Goal-Oriented Software Testing Methodology -- Interacting Heterogeneous Agents -- Open Agent Systems ??? -- An Agent Framework for Processing FIPA-ACL Messages Based on Interaction Models -- A Methodology for Developing Multiagent Systems as 3D Electronic Institutions -- System Development Issues -- Reasoning About Risk in Agent’s Deliberation Process: A Jadex Implementation -- Generation of Repair Plans for Change Propagation -- An Expressway from Agent-Oriented Models to Prototypes -- Tools and Case Studies -- to AOSE Tools for the Conference Management System -- Developing a Multiagent Conference Management System Using the O-MaSE Process Framework -- Tool-Supported Development with Tropos: The Conference Management System Case Study -- The Prometheus Design Tool – A Conference Management System Case Study -- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study. |
| Record Nr. | UNISA-996465413103316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agile 2008 : [proceedings] : August 4-8, 2008, Toronto, Ontario, Canada
| Agile 2008 : [proceedings] : August 4-8, 2008, Toronto, Ontario, Canada |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Compurter Society, 2008 |
| Disciplina | 005.1 |
| Soggetto topico |
Computer software - Development
Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8026-0 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216499503316 |
| [Place of publication not identified], : IEEE Compurter Society, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agile 2008 : [proceedings] : August 4-8, 2008, Toronto, Ontario, Canada
| Agile 2008 : [proceedings] : August 4-8, 2008, Toronto, Ontario, Canada |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Compurter Society, 2008 |
| Disciplina | 005.1 |
| Soggetto topico |
Computer software - Development
Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8026-0 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145681203321 |
| [Place of publication not identified], : IEEE Compurter Society, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / / Sungdeok Cha [and three others] editors
| Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / / Sungdeok Cha [and three others] editors |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 430 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Automatic theorem proving |
| ISBN | 3-540-88387-8 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A Direct Algorithm for Multi-valued Bounded Model Checking -- Software Verification -- Model Checking Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures -- Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo Equality with Lazy Superposition -- Linear-Time Analysis -- Controllable Test Cases for the Distributed Test Architecture -- Tool Demonstration Papers -- Goanna: Syntactic Software Model Checking -- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model-Checker -- Alaska -- NetQi: A Model Checker for Anticipation Game -- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions -- Decidable Compositions of O-Minimal Automata -- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies -- Model Based Importance Analysis for Minimal Cut Sets -- Theory -- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic -- Tree Pattern Rewriting Systems -- Deciding Bisimilarity of Full BPA Processes Locally -- Optimal Strategy Synthesis in Request-Response Games -- Short Papers -- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol -- Impartial Anticipation in Runtime-Verification -- Run-Time Monitoring of Electronic Contracts -- Practical Efficient Modular Linear-Time Model-Checking -- Passive Testing of Timed Systems. |
| Record Nr. | UNISA-996465921503316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / / Sungdeok Cha [and three others] editors
| Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / / Sungdeok Cha [and three others] editors |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 430 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Automatic theorem proving |
| ISBN | 3-540-88387-8 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A Direct Algorithm for Multi-valued Bounded Model Checking -- Software Verification -- Model Checking Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures -- Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo Equality with Lazy Superposition -- Linear-Time Analysis -- Controllable Test Cases for the Distributed Test Architecture -- Tool Demonstration Papers -- Goanna: Syntactic Software Model Checking -- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model-Checker -- Alaska -- NetQi: A Model Checker for Anticipation Game -- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions -- Decidable Compositions of O-Minimal Automata -- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies -- Model Based Importance Analysis for Minimal Cut Sets -- Theory -- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic -- Tree Pattern Rewriting Systems -- Deciding Bisimilarity of Full BPA Processes Locally -- Optimal Strategy Synthesis in Request-Response Games -- Short Papers -- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol -- Impartial Anticipation in Runtime-Verification -- Run-Time Monitoring of Electronic Contracts -- Practical Efficient Modular Linear-Time Model-Checking -- Passive Testing of Timed Systems. |
| Record Nr. | UNINA-9910768461503321 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNINA-9910483238503321 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNISA-996466111603316 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors)
| Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 254 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programs - Verification
Software engineering Formal methods (Computer science) |
| ISBN | 3-540-79707-6 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. |
| Record Nr. | UNINA-9910484817003321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors)
| Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 254 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programs - Verification
Software engineering Formal methods (Computer science) |
| ISBN | 3-540-79707-6 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. |
| Record Nr. | UNISA-996465326103316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
