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.
33rd Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2007 : proceedings : 27-31 August 2007, Lübeck, Germany
| 33rd Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2007 : proceedings : 27-31 August 2007, Lübeck, Germany |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Multimedia systems Telecommunication Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8513-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211345303316 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
33rd Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2007 : proceedings : 27-31 August 2007, Lübeck, Germany
| 33rd Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2007 : proceedings : 27-31 August 2007, Lübeck, Germany |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Multimedia systems Telecommunication Engineering & Applied Sciences Computer Science |
| ISBN |
9781509085132
1509085130 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142974303321 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
| Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 344 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Coding theory Information theory Special purpose computers Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-30138-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. |
| Record Nr. | UNISA-996465564803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
| Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 344 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Coding theory Information theory Computers, Special purpose Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-30138-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. |
| Record Nr. | UNINA-9910144152603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| 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 networks 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 | ||
| ||