Thomas Thüm - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged contracts

Verification of Software Product Lines Using ContractsThomas Thüm. In Doktorandentagung Magdeburger-Informatik-Tage (MIT). 2012: 75-82

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:

Operation Planning of District Heating and Cooling Plants Considering Contract Violation PenaltiesKosuke Kato, Masatoshi Sakawa, Keiichi Ishimaru, Satoshi Ushiro. jaciii, 13(3):185-192, 2009. [doi]

Optimal Scheduling of Contract Algorithms with Soft DeadlinesSpyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel. AAAI 2008: 868-873

Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope ContractsTeresa Franklin. agiledc 2008: 269-273 [doi]

A common fixed point theorem for R-weakly commuting mappings in probabilistic spaces with nonlinear contractive conditionsSinisa N. Jesic, Donal O Regan, Natasa A. Babacev. amc, 201(1-2):272-281, 2008. [doi]

Contracting over multiple parameters: Capacity allocation in semiconductor manufacturingSuman Mallik. eor, 182(1):174-193, 2007. [doi]

Some game theory and financial contracting issues in corporate transactionsMichael Nwogugu. amc, 186(2):1018-1030, 2007. [doi]

On fuzzy contractive mappings in fuzzy metric spacesDorel Mihet. fss, 158(8):915-921, 2007. [doi]

Options to expand and to contract in combinationRossella Agliardi. appml, 20(7):790-794, 2007. [doi]

Incorporating unawareness into contract theoryEmel Filiz. tark 2007: 135-144 [doi]

Optimal Scheduling of Contract Algorithms for Anytime ProblemsAlejandro López-Ortiz, Spyros Angelopoulos, Angèle M. Hamel. AAAI 2006: 874-879

Service Contract TemplateArnaud Simon, Thomas Rischbeck. IEEEscc 2006: 511 [doi]

Components: a valuable investment for financial engineering, why derivative contracts should be active documentsMarkus Reitz, Ulrich Nögel. PPPJ 2006: 153-162 [doi]

COMDECO: Composable Derivative ContractsMarkus Reitz. gi 2006: 564-567

Contract-Related AgentsJohn Knottenbelt, Keith Clark. clima 2006: 226-242 [doi]

COTS Acquisition: Getting a Good ContractShadia Elgazzar, Anatol W. Kark, Erik Putrycz, Mark R. Vigder. iccbss 2005: 43-53 [doi]

Contracting Mechanisms in IS/IT Outsourcing PhenomenonAbdulwahed Mohammed Khalfan, Majed Z. Al-Hajery, Khamis Al-Gharbi. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology (5 Volumes). pages 590-595, Idea Group, 2005.

Contract Driven AgentsJohn Knottenbelt, Keith Clark. flairs 2005: 832-833

Digital Signatures and Electronic ContractsEdward H. Freeman. isjgp, 13(2):8-12, 2004. [doi]

Good faith and fair dealing in contracts formed and performed by electronic agentsEmily M. Weitzenböck. ail, 12(1-2):83-110, 2004. [doi]

DC-mesh: A Contracted High-Dimensional Mesh for Dynamic ClusteringMasaru Takesue. canpc 2004: 382-389 [doi]

Distributed coordination of micro-grids using bilateral contractsZafeer Alibhai, William A. Gruver, Dilip B. Kotak, Dorian Sabaz. SMC 2004: 1990-1995 [doi]

Contracts and typesGreg Meredith, Steve Bjorg. CACM, 46(10):41-47, 2003. [doi]

Uncovering Hidden Contracts: The .NET ExampleKarine Arnout, Bertrand Meyer. Computer, 36(11):48-55, 2003. [doi]

Managing Contracts in Virtual Project Supply ChainsHeli Laurikkala, Kari Tanskanen. ifip5-5 2002: 93-100

Managing Contractual Relationships in Virtual Organizations with Electronic ContractingDaniel Burgwinkel. ifip5-5 2002: 101-108

Fuzzy contractive maps and fuzzy fixed pointsMarlène Frigon, Donal O Regan. fss, 129(1):39-45, 2002. [doi]

Finding Implicit Contracts in .NET ComponentsKarine Arnout, Bertrand Meyer. FMCO 2003: 285-318 [doi]

Ensuring the Success of Contract Formation in Agent-Mediated Electronic CommerceIan R. Kerr. ecr, 1(1/2):183-202, 2001.

Towards a rigorous and effective functional contract for componentsFrancisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón. informaticaSI, 25(4), 2001.

Composing Contracts: An Adventure in Financial EngineeringSimon L. Peyton Jones. FM 2001: 435 [doi]

EC-SignGate: Electronic Contract Signing GatewayMan-Chi Pong. compsac 2001: 245-248 [doi]

A Bid Evaluation System for Internet Contract NegotiationQuoc-Bao Nguyen, Mitchell A. Cohen, Jen-Yao Chung. wecwis 2000: 31-40 [doi]

Composing contracts: an adventure in financial engineering, functional pearlSimon L. Peyton Jones, Jean-Marc Eber, Julian Seward. ICFP 2000: 280-292 [doi]

Webwrap and the Law of ContractsEdward H. Freeman. isjgp, 8(2):14-20, 1999. [doi]

Contractible Coherence Spaces and Maximal MapsHongde Hu. ENTCS, 20:309-319, 1999. [doi]

Managing By ContractBertrand Meyer. TOOLS 1999: 412 [doi]

Contract renewal-think short termGilbert Held. ijnm, 8(6):323-324, 1998. [doi]

Keys to Engineering a Workable ContractKarl Dakin. IEEE Software, 13(1):99-100, 1996. [doi]

Contract Manufacturing: How Much Can They Do?Tom Langford. itc 1995: 297

Contracted k-tessellations of closed surfacesPaola Bandieri. DM, 122(1-3):7-13, 1993. [doi]

Reliable Execution of Large Distributed Applications in APRICOTS (A Prototype Implementation of a ConTract System)Helmut Wächter. hpts 1993:

Determining Contractibility of CurvesHaijo Schipper. compgeom 1992: 358-367 [doi]

SIREDOJ: A Legal Assistance Application about Contracts in the Building IndustryDiego Bercovich. icail 1991: 260-265 [doi]

A constructive proof for a theorem on contractive mappings in power setsEgbert Harzheim. DM, 45(1):99-106, 1983. [doi]

Expanding and Contracting SW-Banyan NetworksDoug DeGroot. icpp 1983: 19-24

Combinatorial theorems on contractive mappings in power setsEgbert Harzheim. DM, 40(2-3):193-201, 1982. [doi]

ECT - An Extensible-Contractable Translator SystemN. Solntseff, A. Yezerski. ipl, 1(3):97-99, 1972.

runs on WebDSL