Thomas Thüm - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged feature-oriented programming

Applying Design by Contract to Feature-Oriented ProgrammingThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE). 2012: 255-269

Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience ReportScholz, Wolfgang, Thomas Thüm, Sven Apel, Christian Lengauer. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD). 2011:

Supporting program variant generation and feature files in rbFeaturesSebastian Günther, Marco Fischer. SPLC 2011: 8 [doi]

Feature tracking and matching in video using programmable graphics hardwareSudipta N. Sinha, Jan-Michael Frahm, Marc Pollefeys, Yakup Genc. mva, 22(1):207-217, 2011. [doi]

A Machine-Checked Proof for a Product-Line-Aware Type SystemThomas Thüm. Master's thesis, University of Magdeburg, Germany, January 2010.

Reasoning about Edits to Feature ModelsThomas Thüm, Don S. Batory, Christian Kästner. ICSE 2009: 254-264 [doi]

FeatureIDE: A Tool Framework for Feature-Oriented Software DevelopmentChristian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel. ICSE 2009: 611-614 [doi]

Reasoning about Feature Model EditsThomas Thüm. Bachelor's Thesis (Studienarbeit), University of Magdeburg, Germany, JUN 2008.

Feature - Empowering kids to create and share programmable mediaAndrÃ©s Monroy-HernÃ¡ndez, Mitchel Resnick. interactions, 15(2):50-53, 2008. [doi]

Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program DependenciesDan C. Cosma, Radu Marinescu. CSMR 2008: 103-112 [doi]

Supporting children as they program to make physical and virtual objects interactAmon Millner. acmidc 2008: 25-28 [doi]

An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary ObjectMasanori Sakakibara, Kohei Sakurai, Seiichi Komiya. jckbse 2008: 125-134 [doi]

ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, ProceedingsDave Thomas, editor, Volume 4067 of Lecture Notes in Computer Science, Springer, 2006.

Infering Ownership Types for Encapsulated Object-Oriented Program ComponentsArnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer. birthday 2007: 120-144 [doi]

Concurrency oriented programming in termite schemeGuillaume Germain. erlang 2006: 20 [doi]

A New Feature for TV Programs: Viewer Participation Through VideoconferencingJukka Rauhala, Petri Vuorimaa. pcm 2004: 298-305 [doi]

Efficient data race and deadlock prevention in concurrent object-oriented programsPiotr Nienaltowski. OOPSLA 2004: 56-57 [doi]

Message Oriented Programming - The Case for First Class MessagesDave A. Thomas. jot, 3(5):7-12, 2004. [doi]

State Oriented ProgrammingHideki Nomoto. hase 2004: 304-305 [doi]

The Feature Signatures of Evolving ProgramsDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi. ASE 2003: 281-285 [doi]

Feature Selection for Multiclass Discrimination via Mixed-Integer Linear ProgrammingFrank J. Iannarilli Jr., Paul A. Rubin. pami, 25(6):779-783, 2003. [doi]

An Object-Oriented Program Automatic Execute Model and the Research of AlgorithmDa-Hai Jin, Yun-Zhan Gong. ats 2003: 492-495 [doi]

A CORBA service middleware enabling high-level high-precision real-time distributed object programmingK. H. (Kane) Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri. csse, 17(2):77-84, 2002.

Has Object-Oriented Programming Delivered? / Aviation Software GuidelinesIEEE Software, 19(5):104-107, 2002. [doi]

ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, ProceedingsJørgen Lindskov Knudsen, editor, Volume 2072 of Lecture Notes in Computer Science, Springer, 2001.

Recognition of machining features and feature topologies from NC programsX. Yan, K. Yamazaki, J. Liu. cad, 32(10):605-616, 2000. [doi]

Abstract Object State and Version Recovery in N-Version ProgrammingAlexander Romanovsky. TOOLS 1999: 86-95 [doi]

Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to ProgramsClemens Fischer. ECOOPW 1999: 108-109

The Application of Object-oriented Programming to Monte Carlo Experiments on Beams of Phonons in CrystalsWojciech M. Gancza, Tadeusz Paszkiewicz. CANDC, 22(1):21-30, 1998. [doi]

Operation-Level Composition: A Case in (Join) PointHarold Ossher, Peri L. Tarr. ECOOPW 1998: 406-409 [doi]

Type Checking Object-Oriented Programs: Core of the Problem and Some SolutionsJean-Claude Royer. joop, 11(6):58, 1998.

Parallel Execution of Object-Oriented Programs: Message Handling StrategiesSzabolcs Ferenczi. pc, 22(13):1897-1912, 1997.

Concurrent Object-Oriented Programming for Distributed Real-time SystemsKatsumi Maruyama. isci, 93(1):87-106, 1996.

ECOOP 96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, ProceedingsPierre Cointe, editor, Volume 1098 of Lecture Notes in Computer Science, Springer, 1996.

An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented ProgrammingPatrick de Bondeli. Ada-Europe 1996: 370-384

ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, ProceedingsWalter G. Olthoff, editor, Volume 952 of Lecture Notes in Computer Science, Springer, 1995.

DYNALAB: a dynamic computer science laboratory infrastructure featuring program animation (abstract)Michael R. Birch, Christopher M. Boroni, Frances W. Goosey, Samuel D. Patton, David K. Poole, Craig M. Pratt, Rockford J. Ross. sigcse 1995: 29-33 [doi]

An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport ProcessesJens Gerlach, Birgit Kähler. eurosim 1994: 777-784

The top 10 reasons why object-oriented programming can t be taught in CS 1Rick Decker, Stuart Hirshfield. sigcse 1994: 51-55 [doi]

A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel ProgramsJürgen W. Meyer. ictai 1993: 452-453

Problem-Oriented Means of Program Specification and Verification in Project SPECTRUMV. A. Nepomniaschy, A. A. Sulimov. disco 1993: 374-378

ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, ProceedingsPierre America, editor, Volume 512 of Lecture Notes in Computer Science, Springer, 1991.

A class of methods for solving large, convex quadratic programs subject to box constraintsEugene K. Yang, Jon W. Tolle. mp, 51:223-228, 1991.

SNOOPS: An object-oriented language enhancement supporting dynamic program reconfigurationNoel G. Craske. SIGPLAN, 26(10):53-63, 1991. [doi]

Actra - an industrial strength concurrent object-oriented programming systemJeff McAffer, John Duimovich. oopsm, 2(2):82-85, 1991.

ECOOP 88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, ProceedingsStein Gjessing, Kristen Nygaard, editors, Volume 322 of Lecture Notes in Computer Science, Springer, 1988.

Automatic generation of self-test programs - a new feature of the MIMOLA design systemGerd Krüger. dac 1986: 378-384 [doi]

Experimental use of a program for computer-aided subject-index productionJanet E. Armitage, Michael F. Lynch, J. Howard Petrie, Mario Belton. ipm, 6(1):79-87, 1970. [doi]

An Application-Oriented Multiprocessing System Part III: Control Program FeaturesJames A. Devereaux. IBMSJ, 6(2):95-102, 1967.

Feature-Oriented Programming [doi]

runs on WebDSL