2009
Contribution to journal
Open Access
Preface to FMICS 2008
Cofer D., Fantechi A.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.DOI: 10.1007/978-3-642-03240-0
Metrics:
Cofer D., Fantechi A.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.DOI: 10.1007/978-3-642-03240-0
Metrics:
See at:
link.springer.com 
| doi.org 
| CNR ExploRA
2010
Contribution to book
Open Access
Preface to Multilingual Information Access Evaluation I. Multimedia Experiments
Peters C., Caputo B., Gonzalo J., Jones G. J., Kalpathy-Cramer J., Mueller H., Tsikrika T.
This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009. The volume reports experiments on various types of multimedia collections. It is divided into three main sections presenting the results of the following tracks: Interactive Cross-Language Retrieval (iCLEF), Cross-Language Image Retrieval (ImageCLEF), and Cross-Language Video Retrieval (VideoCLEF).Source: Milan Heidelberg NewYork Dordrecht London: Springer, 2010
DOI: 10.1007/978-3-642-15751-6
Metrics:
Peters C., Caputo B., Gonzalo J., Jones G. J., Kalpathy-Cramer J., Mueller H., Tsikrika T.
This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009. The volume reports experiments on various types of multimedia collections. It is divided into three main sections presenting the results of the following tracks: Interactive Cross-Language Retrieval (iCLEF), Cross-Language Image Retrieval (ImageCLEF), and Cross-Language Video Retrieval (VideoCLEF).Source: Milan Heidelberg NewYork Dordrecht London: Springer, 2010
DOI: 10.1007/978-3-642-15751-6
Metrics:
See at:
hal.archives-ouvertes.fr | doi.org | www.springerlink.com | CNR ExploRA
2007
Contribution to conference
Unknown
Preface. Workshop on Architecting Dependable Systems (WADS 2007)
De Lemos R., Di Giandomenico F., Gacek C.
This workshop summary gives a brief overview of the workshop on "Architecting Dependable Systems" held in conjunction with DSN 2007. The main aim of this workshop is to promote cross-fertilization between the software architecture and dependability communities. We believe that both of them will benefit from clarifying approaches that have been previously tested and have succeeded as well as those that have been tried but have not yet been shown to be successful.Source: 37th International Conference on Dependable Systems and Networks, Edinburgh, UK, 25-28 July 2007
De Lemos R., Di Giandomenico F., Gacek C.
This workshop summary gives a brief overview of the workshop on "Architecting Dependable Systems" held in conjunction with DSN 2007. The main aim of this workshop is to promote cross-fertilization between the software architecture and dependability communities. We believe that both of them will benefit from clarifying approaches that have been previously tested and have succeeded as well as those that have been tried but have not yet been shown to be successful.Source: 37th International Conference on Dependable Systems and Networks, Edinburgh, UK, 25-28 July 2007
See at: CNR ExploRA
2014
Contribution to journal
Open Access
Quantitative Aspects of Programming Languages and Systems (2011-12). Preface
Massink M., Norman G., Wiklicky H.
This special issue constitutes a selection of extended contributions of original works on Pattern Recognition and Computer Vision presented at 25th SIBGRAPI - Conference on Graphics, Patterns and Images, held in 2012 in the historical city of Ouro Preto, Minas Gerais, Brazil (conference website at: www.decom.ufop.br/ sibgrapi2012). Fifteen papers were invited for this special issue and ten submissions passed through a rigorous peer-reviewing process and have been accepted for publication.DOI: 10.1016/j.tcs.2014.05.011
Metrics:
Massink M., Norman G., Wiklicky H.
This special issue constitutes a selection of extended contributions of original works on Pattern Recognition and Computer Vision presented at 25th SIBGRAPI - Conference on Graphics, Patterns and Images, held in 2012 in the historical city of Ouro Preto, Minas Gerais, Brazil (conference website at: www.decom.ufop.br/ sibgrapi2012). Fifteen papers were invited for this special issue and ten submissions passed through a rigorous peer-reviewing process and have been accepted for publication.DOI: 10.1016/j.tcs.2014.05.011
Metrics:
See at:
Theoretical Computer Science | www.sciencedirect.com | CNR ExploRA
2016
Contribution to book
Open Access
Preface
Ter Beek M. H., Gnesi S., Knapp A.
This volume contains the papers presented at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS), which was held in Pisa, Italy, September 26-28, 2016. FMICS-AVoCS 2016 combines the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems.Source: Critical Systems: Formal Methods and Automated Verification, edited by ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander, pp. V–VI, 2016
DOI: 10.1007/978-3-319-45943-1
Metrics:
Ter Beek M. H., Gnesi S., Knapp A.
This volume contains the papers presented at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS), which was held in Pisa, Italy, September 26-28, 2016. FMICS-AVoCS 2016 combines the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems.Source: Critical Systems: Formal Methods and Automated Verification, edited by ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander, pp. V–VI, 2016
DOI: 10.1007/978-3-319-45943-1
Metrics:
See at:
link.springer.com | ISTI Repository | doi.org | CNR ExploRA
2023
Contribution to conference
Open Access
Preface. Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23)
Ter Beek M. H., Dubslaff C.
The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the number of configuration options. This volume contains the post-proceedings of TiCSA 2023, the first workshop on Trends in Configurable Systems Analysis, where current challenges and solutions in configurable systems analysis were presented and discussed.DOI: 10.4204/eptcs.392
Metrics:
Ter Beek M. H., Dubslaff C.
The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the number of configuration options. This volume contains the post-proceedings of TiCSA 2023, the first workshop on Trends in Configurable Systems Analysis, where current challenges and solutions in configurable systems analysis were presented and discussed.DOI: 10.4204/eptcs.392
Metrics:
See at:
cgi.cse.unsw.edu.au | CNR ExploRA
2008
Contribution to conference
Restricted
Architecting dependable systems V - Preface
De Lemos R., Di Giandomenico F., Gacek C., Muccini H., Vieira M.
This is the fifth book in a series on Architecting Dependable Systems we started six years ago that brings together issues related to software architectures and the dependability of systems. This book includes expanded and peer-reviewed papers based on the selected contributions to two workshops, and a number of invited papers written by recognized experts in the area. The two workshops were: the Workshop on Architecting Dependable Systems (WADS) organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), and the Third Workshop on the Role of Software Architecture for Testing and Analysis organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007).DOI: 10.1007/978-3-540-85571-2
Metrics:
De Lemos R., Di Giandomenico F., Gacek C., Muccini H., Vieira M.
This is the fifth book in a series on Architecting Dependable Systems we started six years ago that brings together issues related to software architectures and the dependability of systems. This book includes expanded and peer-reviewed papers based on the selected contributions to two workshops, and a number of invited papers written by recognized experts in the area. The two workshops were: the Workshop on Architecting Dependable Systems (WADS) organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), and the Third Workshop on the Role of Software Architecture for Testing and Analysis organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007).DOI: 10.1007/978-3-540-85571-2
Metrics:
See at:
link.springer.com | CNR ExploRA
2010
Contribution to book
Restricted
Preface to Multilingual Information Access Evaluation I. Text Retrieval Experiments
Peters C., Di Nunzio G., Kurimo M., Mandl T., Mostefa D., Penas A., Roda G.
This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009. The volume reports experiments on various types of textual document collections. It is divided into six main sections presenting the results of the following tracks: Multilingual Document Retrieval (Ad-Hoc), Multiple Language Question Answering (QA@CLEF), Multilingual Information Filtering (INFILE@CLEF), Intellectual Property (CLEF-IP) and Log File Analysis (LogCLEF), plus the activities of the MorphoChallenge Program.Source: Milan Heidelberg NewYork Dordrecht London: Springer, 2010
DOI: 10.1007/978-3-642-15754-7
Project(s): PASCAL
Metrics:
Peters C., Di Nunzio G., Kurimo M., Mandl T., Mostefa D., Penas A., Roda G.
This book constitutes the thoroughly refereed proceedings of the 10th Workshop of the Cross Language Evaluation Forum, CLEF 2010, held in Corfu, Greece, in September/October 2009. The volume reports experiments on various types of textual document collections. It is divided into six main sections presenting the results of the following tracks: Multilingual Document Retrieval (Ad-Hoc), Multiple Language Question Answering (QA@CLEF), Multilingual Information Filtering (INFILE@CLEF), Intellectual Property (CLEF-IP) and Log File Analysis (LogCLEF), plus the activities of the MorphoChallenge Program.Source: Milan Heidelberg NewYork Dordrecht London: Springer, 2010
DOI: 10.1007/978-3-642-15754-7
Project(s): PASCAL
Metrics:
See at:
doi.org | www.springerlink.com | CNR ExploRA
2016
Contribution to conference
Open Access
Preface. Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Ter Beek M. H., Loreti M.
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.DOI: 10.4204/eptcs.217
Project(s): QUANTICOL
Metrics:
Ter Beek M. H., Loreti M.
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.DOI: 10.4204/eptcs.217
Project(s): QUANTICOL
Metrics:
See at:
arxiv.org | CNR ExploRA
2007
Contribution to conference
Open Access
Research and Advanced Technology for Digital Libraries, Proceedings of the 11th European Conference on Digital Libraries. Preface
Kovács L., Fuhr N., Meghini C.
The proceedings contain 72 papers. The topics discussed include: ontology-based question answering for digital libraries; formalizing the get-specific document classification algorithm; trustworthiness analysis of web search results; improved publication scores for online digital libraries via research pyramids; a cooperative-relational approach to digital libraries; lyrics-based audio retrieval and multimodal navigation in music collections; automatic identification of music works through audio matching; roadmap for MultiLingual information access in the European library; a grid-based infrastructure for distributed retrieval; tests, illustrations, and physical objects: the case of ancient shipbuilding treatises; providing context-sensitive access to the earth observation product library; thesaurus-based feedback to support mixed search and browsing environments; and finding related papers in literature digital libraries.DOI: 10.1007/978-3-540-74851-9
Metrics:
Kovács L., Fuhr N., Meghini C.
The proceedings contain 72 papers. The topics discussed include: ontology-based question answering for digital libraries; formalizing the get-specific document classification algorithm; trustworthiness analysis of web search results; improved publication scores for online digital libraries via research pyramids; a cooperative-relational approach to digital libraries; lyrics-based audio retrieval and multimodal navigation in music collections; automatic identification of music works through audio matching; roadmap for MultiLingual information access in the European library; a grid-based infrastructure for distributed retrieval; tests, illustrations, and physical objects: the case of ancient shipbuilding treatises; providing context-sensitive access to the earth observation product library; thesaurus-based feedback to support mixed search and browsing environments; and finding related papers in literature digital libraries.DOI: 10.1007/978-3-540-74851-9
Metrics:
See at:
link.springer.com | ISTI Repository | doi.org | CNR ExploRA
2021
Contribution to book
Open Access
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021)
Abualhaija S., Aydemir F. B., Ferrari A., Guo J.
The Natural Language Processing for Requirements Engineering Workshop (NLP4RE) was established in 2018 as a venue to foster communication between researchers and practitioners interested in the field. The 2021 edition was held virtually in Essen, due to the COVID-19 pandemic, and saw the presentation of 10 papers covering different aspects of NLP4RE, including information extraction (e.g., rationale, causality), requirements classification and chat-bots. The workshop saw a lively participation, with over 25 participants during the keynote and about 20 participants during the paper presentation sessions.Source: REFSQ 2021: Joint Proceedings of Workshops, OpenRE, Posters and Tools Track, and Doctoral Symposium, edited by F. B. Aydemir, C. Gralha, 2021
Abualhaija S., Aydemir F. B., Ferrari A., Guo J.
The Natural Language Processing for Requirements Engineering Workshop (NLP4RE) was established in 2018 as a venue to foster communication between researchers and practitioners interested in the field. The 2021 edition was held virtually in Essen, due to the COVID-19 pandemic, and saw the presentation of 10 papers covering different aspects of NLP4RE, including information extraction (e.g., rationale, causality), requirements classification and chat-bots. The workshop saw a lively participation, with over 25 participants during the keynote and about 20 participants during the paper presentation sessions.Source: REFSQ 2021: Joint Proceedings of Workshops, OpenRE, Posters and Tools Track, and Doctoral Symposium, edited by F. B. Aydemir, C. Gralha, 2021
See at:
ceur-ws.org | ISTI Repository | CNR ExploRA
2007
Contribution to journal
Unknown
Preface - Advances in mass data analysis of signals and images in medicine, biotechnology and chemistry
Perner P., Salvetti O.
The automatic analysis of images and signals in medicine, biotechnology, and chemistry is a challenging and demanding field. Signal-producing procedures by microscopes, spectrometers, and other sensors have found their way into wide fields of medicine, biotechnology, economy, and environmental analysis. With this arises the problem of the automatic mass analysis of signal information. Signal-interpreting systems which generate automatically the desired target statements from the signals are therefore of compelling necessity. The continuation of mass analyses on the basis of classical procedures leads to investments of proportions that are not feasible. New procedures and system architectures are therefore required. The scope of the International Conference on Mass Data Analysis of Images and Signals in Medicine, Biotechnology and Chemistry MDA (www.mda-signals.de) is to bring together researchers, practitioners, and industry people who are dealing with mass analysis of images and signals to present and discuss recent research in these fields.
Perner P., Salvetti O.
The automatic analysis of images and signals in medicine, biotechnology, and chemistry is a challenging and demanding field. Signal-producing procedures by microscopes, spectrometers, and other sensors have found their way into wide fields of medicine, biotechnology, economy, and environmental analysis. With this arises the problem of the automatic mass analysis of signal information. Signal-interpreting systems which generate automatically the desired target statements from the signals are therefore of compelling necessity. The continuation of mass analyses on the basis of classical procedures leads to investments of proportions that are not feasible. New procedures and system architectures are therefore required. The scope of the International Conference on Mass Data Analysis of Images and Signals in Medicine, Biotechnology and Chemistry MDA (www.mda-signals.de) is to bring together researchers, practitioners, and industry people who are dealing with mass analysis of images and signals to present and discuss recent research in these fields.
See at: CNR ExploRA
2005
Journal article
Unknown
Preface to Space Debris - Thematic Issue of Advances in Space Research.
Anselmo L.
During the past 15 years, apart from specific workshops, the IADC plenary meetings and the European Conferences on Space Debris organized at the ESA's European Space Operations Centre (ESOC), the main international forums for the presentation and discussion of current scientific and technical research concerning space debris have been the International Astronautical Congresses and the COSPAR Scientific Assemblies. The 35th COSPAR Scientific Assembly, held in Paris on 1825 July 2004, was not an exception, with a very fruitful and interesting scientific meeting (PEDAS1/ B1.6 Space Debris), organized by Walter Flury (Main Scientific Organizer) and Nicholas L. Johnson (Deputy Organizer). Sponsored by the European Space Agency (ESA), the International Academy of Astronautics (IAA), the International Astronautical Federation (IAF), the International Astronomical Union (IAU) and the United Nations Office for Outer Space Affairs, the scientific meeting on ''Space Debris'', held on 2224 July 2004, consisted of five sessions, four devoted to oral presentations and one to posters, chaired by T. Donath, P.W. Kervin, G. Drolshagen, J.-C. Mandeville, F. Alby, F. Schaefer, L. Anselmo, P. Anz-Meador and R. Jehn. Of a total of 39 oral presentations and 10 posters accepted in the final program, 37 oral presentations (including 12 solicited contributions) and five posters were actually presented at the meeting.Source: Advances in space research 35 (2005): 1195–1196.
Anselmo L.
During the past 15 years, apart from specific workshops, the IADC plenary meetings and the European Conferences on Space Debris organized at the ESA's European Space Operations Centre (ESOC), the main international forums for the presentation and discussion of current scientific and technical research concerning space debris have been the International Astronautical Congresses and the COSPAR Scientific Assemblies. The 35th COSPAR Scientific Assembly, held in Paris on 1825 July 2004, was not an exception, with a very fruitful and interesting scientific meeting (PEDAS1/ B1.6 Space Debris), organized by Walter Flury (Main Scientific Organizer) and Nicholas L. Johnson (Deputy Organizer). Sponsored by the European Space Agency (ESA), the International Academy of Astronautics (IAA), the International Astronautical Federation (IAF), the International Astronomical Union (IAU) and the United Nations Office for Outer Space Affairs, the scientific meeting on ''Space Debris'', held on 2224 July 2004, consisted of five sessions, four devoted to oral presentations and one to posters, chaired by T. Donath, P.W. Kervin, G. Drolshagen, J.-C. Mandeville, F. Alby, F. Schaefer, L. Anselmo, P. Anz-Meador and R. Jehn. Of a total of 39 oral presentations and 10 posters accepted in the final program, 37 oral presentations (including 12 solicited contributions) and five posters were actually presented at the meeting.Source: Advances in space research 35 (2005): 1195–1196.
See at: CNR ExploRA
2009
Contribution to journal
Restricted
Preface - Architecting Dependable Systems VI
De Lemos R., Fabre J., Gacek C., Gadducci F., Ter Beek M.
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.DOI: 10.1007/978-3-642-10248-6
Metrics:
De Lemos R., Fabre J., Gacek C., Gadducci F., Ter Beek M.
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.DOI: 10.1007/978-3-642-10248-6
Metrics:
See at:
www.springerlink.com | CNR ExploRA
2009
Contribution to journal
Restricted
Preface to Evaluating Systems for Multilingual and Multimodal information Access
Peters C., Deselaers T., Ferro N., Gonzalo J., Jones G. J., Kurimo M., Mandl T., Penas A., Petras V.
This book constitutes the thoroughly refereed proceedings of the 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, held in Aarhus, Denmark, in September 2008. The 130 revised and extended papers presented were carefully reviewed and selected for inclusion in the book. They are completed by an introduction on CLEF 2008. As usual, the seven main evaluation tracks in CLEF 2008 aimed to test the performance of a wide range of multilingual information access systems or system components. The papers are organized in topical main sections on Multilingual Textual Document Retrieval (Ad Hoc), Mono- and Cross-Language Scientific Data Retrieval (Domain-Specific), Interactive Cross-Language Retrieval (iCLEF), Multiple Language Question Answering (QA@CLEF), Cross-Language Retrieval in Image Collections (ImageCLEF), Multilingual Web Track (WebCLEF), Cross-Language Geographical Retrieval (GeoCLEF), Cross-Language Video Retrieval (VideoCLEF), Multilingual Information Filtering (INFILE@CLEF), and Morpho Challenge at CLEF 2008.DOI: 10.1007/978-3-642-04447-2
Metrics:
Peters C., Deselaers T., Ferro N., Gonzalo J., Jones G. J., Kurimo M., Mandl T., Penas A., Petras V.
This book constitutes the thoroughly refereed proceedings of the 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, held in Aarhus, Denmark, in September 2008. The 130 revised and extended papers presented were carefully reviewed and selected for inclusion in the book. They are completed by an introduction on CLEF 2008. As usual, the seven main evaluation tracks in CLEF 2008 aimed to test the performance of a wide range of multilingual information access systems or system components. The papers are organized in topical main sections on Multilingual Textual Document Retrieval (Ad Hoc), Mono- and Cross-Language Scientific Data Retrieval (Domain-Specific), Interactive Cross-Language Retrieval (iCLEF), Multiple Language Question Answering (QA@CLEF), Cross-Language Retrieval in Image Collections (ImageCLEF), Multilingual Web Track (WebCLEF), Cross-Language Geographical Retrieval (GeoCLEF), Cross-Language Video Retrieval (VideoCLEF), Multilingual Information Filtering (INFILE@CLEF), and Morpho Challenge at CLEF 2008.DOI: 10.1007/978-3-642-04447-2
Metrics:
See at:
doi.org | link.springer.com | CNR ExploRA
2006
Contribution to conference
Unknown
Preface. First International Workshop on Software Certification
Gnesi S., Maibaum T., Wassyng A.
Software is currently used to control medical devices, automobiles, aircraft, manufacturing plants, nuclear generating stations, space exploration systems, elevators, electric motors, automated trains, banking transactions, telecommunications devices and a growing number of devices in industry and in our homes. Software is also mission critical for many organizations, even if the software does not 'control' what happens. Clearly, many of these systems have the potential to cause physical harm if they malfunction. Even if they do not cause physical harm, their malfunctions are capable of causing financial and political chaos. Currently there is no consistent regulation of software and society is starting to demand that software used in critical systems must meet minimum safety, security and reliability standards. Manufacturers of these systems are in the unenviable position of not having any clear guidelines as to what may be regarded as acceptable standards in these situations. Even where the systems are not mission critical, software producers and their customers are becoming interested in methods for assuring quality that may result in software supplied with guarantees. The purpose of the workshop is to discuss issues related to software certification.
Gnesi S., Maibaum T., Wassyng A.
Software is currently used to control medical devices, automobiles, aircraft, manufacturing plants, nuclear generating stations, space exploration systems, elevators, electric motors, automated trains, banking transactions, telecommunications devices and a growing number of devices in industry and in our homes. Software is also mission critical for many organizations, even if the software does not 'control' what happens. Clearly, many of these systems have the potential to cause physical harm if they malfunction. Even if they do not cause physical harm, their malfunctions are capable of causing financial and political chaos. Currently there is no consistent regulation of software and society is starting to demand that software used in critical systems must meet minimum safety, security and reliability standards. Manufacturers of these systems are in the unenviable position of not having any clear guidelines as to what may be regarded as acceptable standards in these situations. Even where the systems are not mission critical, software producers and their customers are becoming interested in methods for assuring quality that may result in software supplied with guarantees. The purpose of the workshop is to discuss issues related to software certification.
See at: CNR ExploRA
2006
Contribution to conference
Unknown
Preface. First International Workshop on Views on Designing Complex Architectures
Ter Beek M., Gadducci F.
Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields. The VODCA 2004 workshop aimed at providing a platform for young scientists to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information. This volume contains the papers that were presented at the workshop. In total 18 papers were submitted and after a regular refereeing process 12 of them were selected for a presentation. In addition to the presentations of original research results, the programme included 3 invited lectures. We hope this workshop has helped its participants to establish new views on the design of complex architectures, especially in relation to the security and management of information in such architectures.
Ter Beek M., Gadducci F.
Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields. The VODCA 2004 workshop aimed at providing a platform for young scientists to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information. This volume contains the papers that were presented at the workshop. In total 18 papers were submitted and after a regular refereeing process 12 of them were selected for a presentation. In addition to the presentations of original research results, the programme included 3 invited lectures. We hope this workshop has helped its participants to establish new views on the design of complex architectures, especially in relation to the security and management of information in such architectures.
See at: CNR ExploRA
2011
Contribution to conference
Open Access
Research and Advanced Technology for Digital Libraries. Proceedings of International Conference on Theory and Practice of Digital Libraries (Preface)
Gradmann S., Borri F., Meghini C., Schuldt H.
We are happy to present the proceedings of the 15th edition of the TPDL 2011 conference, which is part of an impressive series starting with the first European Conference on Research and Advanced Technology for Digital Libraries (ECDL) in Pisa (1997) and subsequently Heraklion (1998), Paris (1999), Lisbon (2000), Darmstadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005), Alicante (2006), Budapest (2007), Aarhus (2008), Corfu (2009) and Glasgow (2010). In the course of these years, ECDL had become one of the major international reference meetings for an ever-growing and more and more multidisciplinary community and thus has considerably broadened in geographical scope: what started as a European event has grown into a part of the increasingly integrated international community building around the notion of digital libraries. From this perspective it was a logical step to rename the conference: Humboldt University in Berlin was thus proud to host the first conference named TPDL, standing for the Conference on Theory and Practice of Digital Libraries. The necessity to avoid acronym conflicts with the European Computer Driving Licence thus coincided with the need to see the international scope of the conference reflected in a new name that would avoid the 'regional' limitation to just one continent.Source: Berlin: Springer-Verlag, 2011
DOI: 10.1007/978-3-642-24469-8
Metrics:
Gradmann S., Borri F., Meghini C., Schuldt H.
We are happy to present the proceedings of the 15th edition of the TPDL 2011 conference, which is part of an impressive series starting with the first European Conference on Research and Advanced Technology for Digital Libraries (ECDL) in Pisa (1997) and subsequently Heraklion (1998), Paris (1999), Lisbon (2000), Darmstadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005), Alicante (2006), Budapest (2007), Aarhus (2008), Corfu (2009) and Glasgow (2010). In the course of these years, ECDL had become one of the major international reference meetings for an ever-growing and more and more multidisciplinary community and thus has considerably broadened in geographical scope: what started as a European event has grown into a part of the increasingly integrated international community building around the notion of digital libraries. From this perspective it was a logical step to rename the conference: Humboldt University in Berlin was thus proud to host the first conference named TPDL, standing for the Conference on Theory and Practice of Digital Libraries. The necessity to avoid acronym conflicts with the European Computer Driving Licence thus coincided with the need to see the international scope of the conference reflected in a new name that would avoid the 'regional' limitation to just one continent.Source: Berlin: Springer-Verlag, 2011
DOI: 10.1007/978-3-642-24469-8
Metrics:
See at:
lirias.kuleuven.be | doi.org | link.springer.com | CNR ExploRA
2016
Contribution to journal
Open Access
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
Ter Beek M. H., Clarke D., Schaefer I.
This special issue is devoted to the themes of the FMSPLE workshop series on formal methods and analysis in Software Product Line Engineering (SPLE). SPLE aims at developing a family of (software) systems by reuse in order to reduce time-to-market and to increase product quality. The correctness of the artefacts intended for reuse, as well as the correctness of the developed products, is of crucial interest for many safety-critical or business-critical applications. Formal methods and analysis techniques have been successfully applied in single system engineering in order to rigorously establish critical system requirements. While SPLE has matured considerably over the last decade, many challenges still remain, among which efficient variability management, the consistency between domain and application engineering, the reduction of quality assurance efforts, and the consistent and sustainable evolution of product families. However, formal methods and analysis techniques are still not applied broadly enough in SPLE, despite their potential to improve product quality. One of the reasons for this is that existing formal approaches from single system engineering do not consider variability, the quintessential feature of product lines.DOI: 10.1016/j.jlamp.2015.09.006
Metrics:
Ter Beek M. H., Clarke D., Schaefer I.
This special issue is devoted to the themes of the FMSPLE workshop series on formal methods and analysis in Software Product Line Engineering (SPLE). SPLE aims at developing a family of (software) systems by reuse in order to reduce time-to-market and to increase product quality. The correctness of the artefacts intended for reuse, as well as the correctness of the developed products, is of crucial interest for many safety-critical or business-critical applications. Formal methods and analysis techniques have been successfully applied in single system engineering in order to rigorously establish critical system requirements. While SPLE has matured considerably over the last decade, many challenges still remain, among which efficient variability management, the consistency between domain and application engineering, the reduction of quality assurance efforts, and the consistent and sustainable evolution of product families. However, formal methods and analysis techniques are still not applied broadly enough in SPLE, despite their potential to improve product quality. One of the reasons for this is that existing formal approaches from single system engineering do not consider variability, the quintessential feature of product lines.DOI: 10.1016/j.jlamp.2015.09.006
Metrics:
See at:
Journal of Logical and Algebraic Methods in Programming | ISTI Repository | www.sciencedirect.com | CNR ExploRA
2017
Contribution to book
Open Access
Preface - New perspectives in end-user development: elaborating upon a new research paradigm
Paternò F., Wulf V.
EUD strives to change the traditional labour organization in the software industry by adding tools for end users to modify existing and to develop new applications. Existing software development cycles are still too slow to quickly respond to rapidly changing user needs of variegated categories of users, and professional developers often lack the needed domain knowledge to address such requirements, especially in pervasive modern applications (Ghiani et al., 2017). End users are generally neither skilled nor interested in adapting their applications at the same level as software professionals. So, EUD tools need to be appropriately crafted at application design time to anticipate technical flexibility that will be needed during their use. New application domains and emerging new technologies drive innovations in EUD. A key question is how to evaluate these innovations. Tetteroo and Markopulos (in this volume) and Ludwig et al. (in this volume) suggest that innovative EUD solutions need to be explored in practice. While laboratory evaluations or short-term rollouts can be found rather frequently in the literature, these methods do not provide a sufficient understanding regarding the appropriation of EUD technologies in social practices and how these technologies should be improved to encourage such practices (Wulf et al., 2017). Tetteroo and Markopulos discuss challenges pertaining to field deployments based on their experiences in the healthcare sector, coming up with some possible guidelines for the evaluation of EUD technologies.DOI: 10.1007/978-3-319-60291-2
Metrics:
Paternò F., Wulf V.
EUD strives to change the traditional labour organization in the software industry by adding tools for end users to modify existing and to develop new applications. Existing software development cycles are still too slow to quickly respond to rapidly changing user needs of variegated categories of users, and professional developers often lack the needed domain knowledge to address such requirements, especially in pervasive modern applications (Ghiani et al., 2017). End users are generally neither skilled nor interested in adapting their applications at the same level as software professionals. So, EUD tools need to be appropriately crafted at application design time to anticipate technical flexibility that will be needed during their use. New application domains and emerging new technologies drive innovations in EUD. A key question is how to evaluate these innovations. Tetteroo and Markopulos (in this volume) and Ludwig et al. (in this volume) suggest that innovative EUD solutions need to be explored in practice. While laboratory evaluations or short-term rollouts can be found rather frequently in the literature, these methods do not provide a sufficient understanding regarding the appropriation of EUD technologies in social practices and how these technologies should be improved to encourage such practices (Wulf et al., 2017). Tetteroo and Markopulos discuss challenges pertaining to field deployments based on their experiences in the healthcare sector, coming up with some possible guidelines for the evaluation of EUD technologies.DOI: 10.1007/978-3-319-60291-2
Metrics:
See at:
ISTI Repository | www.springer.com | doi.org | CNR ExploRA