Filters








150 Hits in 4.0 sec

Experimental Software Engineering Issues (Dagstuhl Seminar 9238)

Victor R. Basili, H. Dieter Rombach, Richard W. Selby
1992
Since its inception in 1968, software engineering has struggled to nd its identity.  ...  Today, we can identify three different approaches to study of the discipline of software engineering in the research community: the mathematical or formal methods approach, the system building approach  ...  The year 1992, uevide11ced by this seminar in Dagstuhl, has witnessed die evolving acccpcance and realiz.alion that efforts must be accelerated in creating the baseline understanding of software in practice  ... 
doi:10.4230/dagsemrep.47 fatcat:fbrxwsrs6ff4tdcy3aubzq533u

Dependability

John D. McGregor
2007 Journal of Object Technology  
In this issue of Strategic Software Engineering, I will explore the importance of dependability to the strategic goals of the organization.  ...  We depend on software everyday in our professional and personal lives and people depend on the software we produce.  ...  Dieter Rombach, of the Institute for Experimental Software Engineering (IESE) Fraunhofer, led a discussion at the Dagstuhl seminar on the definition of dependability.  ... 
doi:10.5381/jot.2007.6.3.c1 fatcat:ieghafgfpba2jh2bhwdf3oticm

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
2018 Dagstuhl Reports  
The objective of this Dagstuhl Seminar was to investigate new opportunities and challenges raised by the use of LET as a basis for implementing parallel execution of control software.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 18092 "The Logical Execution Time Paradigm: New Perspectives for Multicore Systems".  ...  Will it be the topic of a Dagstuhl seminar in fifteen years? This is probably too much to ask for. Thanks a lot to the organizers of this seminar for inviting me!  ... 
doi:10.4230/dagrep.8.2.122 dblp:journals/dagstuhl-reports/ErnstKQS18 fatcat:6k7z4uyijrhuxceulih3jeiqoa

Increasing Reproducibility in IR

Nicola Ferro, Norbert Fuhr, Kalervo Järvelin, Noriko Kando, Matthias Lippold, Justin Zobel
2016 SIGIR Forum  
The Dagstuhl Seminar on "Reproducibility of Data-Oriented Experiments in e-Science", held on 24-29 January 2016, focused on the core issues and approaches to reproducibility of experiments from a multidisciplinary  ...  In this paper, we discuss, summarize, and adapt the main findings of the seminar to the context of IR evaluation -both system-oriented and user-oriented -in order to raise awareness in our community and  ...  The Dagstuhl Seminar on "Reproducibility of Data-Oriented Experiments in e-Science" 5 [10] was held in Dagstuhl, Germany, from 24 to 29 January 2016.  ... 
doi:10.1145/2964797.2964808 fatcat:6g5i3yu4lfgc3df4f6d7vtvmnq

The Future of Research Communication (Dagstuhl Perspectives Workshop 11331)

Tim Clark, Anita De Waard, Ivan Herman, Eduard Hovy, Marc Herbstritt
2011 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 11331 "The Future of Research Communication".  ...  We believe that digital publishing of enhanced papers will enable more effective scholarly communication, which will also broaden to include, for example, better links to data, the publication of software  ...  It was conceived in 1987, and came on-line in 1992. It is a central engine of astronomy's large and complex information environment, linking together literature and data.  ... 
doi:10.4230/dagrep.1.8.29 pmid:26317061 pmcid:PMC4548999 dblp:journals/dagstuhl-reports/ClarkWHH11 fatcat:vd5qnoaeznfvdaeuu6hnnxd24u

The Evolution of Empirical Methods in Software Engineering [article]

Michael Felderer, Guilherme Horta Travassos
2020 arXiv   pre-print
Empirical methods like experimentation have become a powerful means to drive the field of software engineering by creating scientific evidence on software development, operation, and maintenance, but also  ...  In this chapter we tell the history of empirical software engineering and present the evolution of empirical methods in software engineering in five iterations, i.e., (1) mid-1960s to mid-1970s, (2) mid  ...  Acknowledgements We thank all the authors and reviewers of this book on contemporary empirical methods in software engineering for their valuable contribution  ... 
arXiv:1912.11512v4 fatcat:tqmkkdtehndo3ibyj63bwf2yae

In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015

Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jezequel, Bernhard Rumpe, Martin Schindler
2015 Journal of Software and Systems Modeling  
Robert was appointed as an assistant professor at the Computer Science and Engineering Department, Florida Atlantic University in Boca Raton, Florida and stayed there for 6 years (1992-1998).  ...  We celebrated Robert's last birthday together with all participants of a Dagstuhl seminar on Globalizing Domain-Specific Languages, many of them being close friends of Robert's, in a small German winery  ... 
doi:10.1007/s10270-015-0461-5 fatcat:l2anpmygqrcofnmuyktvt7sibi

OCL and Model Driven Engineering [chapter]

Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hussmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2005 Lecture Notes in Computer Science  
Can the features of OCL 2.0 be used in the Model Driven Engineering (MDE) approach?  ...  On the subjects of model-driven engineering and MDA(tm), he has been recently leading the OFTA industrial group in France, co-animating a CNRS specific action and a Dagstuhl seminar.  ...  His present research interests include object-oriented analysis and design, reverse engineering, knowledge-based software engineering, product and process modeling, model engineering and more specially  ... 
doi:10.1007/978-3-540-31797-5_8 fatcat:chi6mh6w4raorfnyluyeprhmea

Logic activities in Europe

Yuri Gurevich
1994 ACM SIGACT News  
software engineer.  ...  They have t wo disjoint seminars. One is their Theory Seminar.  ... 
doi:10.1145/181462.181464 fatcat:aigw7vfy45dkrdlws7de3g33hu

New IR - new evaluation: the impact of interaction and multimedia on information retrieval and its evaluation

Stephen W. Draper, Mark D. Dunlop
1997 New Review of Hypermedia and Multimedia  
Multimedia raise issues not only of how users might specify a query in the same medium (e.g. sketch the kind of picture they want), but of cross-medium retrieval.  ...  Evaluation of Multimedia Information Retrieval, Dagstuhl-Seminar-Report-175, Schloss Dagstuhl, April 1997. (4) FRAKES, W.B., AND BAEZA-YATES, R., (Editors).  ...  It has always been characterised by a focus on evaluation: on methods of measuring retrieval performance, traditionally just the performance of the software engines.  ... 
doi:10.1080/13614569708914686 fatcat:k6epkqfzjrc4dnd36atwqst4ci

Finding a History for Software Engineering

Michael S. Mahoney
2004 IEEE Annals of the History of Computing  
( 5 ) 5 For a recent discussions of the question, see History of Software Engineering (Report of the Dagstuhl Seminar No. 9635, ed. W. Aspray, R. Keil-Slawik, and D.  ...  Parnas, Dagstuhl, 1996; available online at http://www.dagstuhl.de/9635/Report/) Tomayko, "Software as Engineering" with commentaries by A. Endres and B.E. Seely, of Computing: Software Issues, U.  ... 
doi:10.1109/mahc.2004.1278847 fatcat:gn3i345puvd6dltauqcks5qoki

Finding a history for software engineering

M.S. Mahoney
2004 IEEE Annals of the History of Computing  
( 5 ) 5 For a recent discussions of the question, see History of Software Engineering (Report of the Dagstuhl Seminar No. 9635, ed. W. Aspray, R. Keil-Slawik, and D.  ...  Parnas, Dagstuhl, 1996; available online at http://www.dagstuhl.de/9635/Report/) Tomayko, "Software as Engineering" with commentaries by A. Endres and B.E. Seely, of Computing: Software Issues, U.  ... 
doi:10.1109/mahc.2004.1268389 fatcat:k3avju3oqba3zlwy4xkd43biwq

TOOLympics 2019: An Overview of Competitions in Formal Methods [chapter]

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda (+3 others)
2019 Msphere  
The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996.  ...  For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the  ...  With its rich input language, SMT has applications in software engineering, optimization, and many other areas.  ... 
doi:10.1007/978-3-030-17502-3_1 fatcat:ry2mnbgxijbw7c2flufmx25wpq

Geometric Networks and Metric Space

S Oishi (waseda Univ, M Jp), Plum (univ, Karlsruhe, S De), Rump
2005 unpublished
Thanks so much to you and everyone at Dagstuhl for helping us to organize our workshop.  ...  Als Organisatoren wissen wir natürlich die immer freundliche und professionelle Hilfe bei der Vorbereitung und Durchführung eines solchen Seminars zu schätzen.  ...  In addition to the Dagstuhl Seminar Proceedings, monographs and conference reports are published on some of the seminars as are special Page 21 issues by journals.  ... 
fatcat:7gd6rm6v2nf23im66rb757o4ei

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
The program has been validated by extensive experimentation with the FZI production cell simulator in Karlsruhe and has been submitted for inspection to the Dagstuhl seminar on "Practical Methods for Code  ...  The proofs work for atomic as well as, mutatis mutandis, for durative actions. [ Presents a structured software engineering method which allows the software engineer to control efficiently the modular  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq
« Previous Showing results 1 — 15 out of 150 results