Search results for "contracts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
71	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
71	Matthias Blume, David A. McAllester	A sound (and complete) model of contracts.	ICFP	2004	DBLP DOI BibTeX RDF	safety, contracts, predicates
71	Karine Arnout, Bertrand Meyer 0001	Finding Implicit Contracts in .NET Components.	FMCO	2002	DBLP DOI BibTeX RDF	Design by ContractTM, Library design, Implicit contracts, Contract Wizard, Metadata, Reuse, Eiffel, .NET
70	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
70	Stephen N. Hollman	A perspective of standard form contracts in the data processing industry.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
64	Christos Dimoulas, Riccardo Pucella, Matthias Felleisen	Future contracts.	PPDP	2009	DBLP DOI BibTeX RDF	software reliability, contracts, behavioral specifications, higher-order functions
64	Olaf Owe, Gerardo Schneider, Martin Steffen	Components, objects, and contracts.	SAVCBS	2007	DBLP DOI BibTeX RDF	Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
63	Jeremy Clark, Urs Hengartner, Kate Larson	Not-So Hidden Information: Optimal Contracts for Undue Influence in E2E Voting Systems.	VoteID	2009	DBLP DOI BibTeX RDF
63	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Probabilistic QoS and soft contracts for transaction based Web services.	ICWS	2007	DBLP DOI BibTeX RDF
63	Kamalakar Karlapalem, P. Radha Krishna 0001	State-of-the-Art in Modeling and Deployment of Electronic Contracts.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
63	Robert Bruce Findler, Matthias Blume	Contracts as Pairs of Projections.	FLOPS	2006	DBLP DOI BibTeX RDF
60	Alan W. Colman, Jun Han 0004	Coordination Systems in Role-Based Adaptive Software.	COORDINATION	2005	DBLP DOI BibTeX RDF
60	Martin Andersson, Tuomas Sandholm	Contract Type Sequencing for Reallocative Negotiation.	ICDCS	2000	DBLP DOI BibTeX RDF
56	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
56	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
56	Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas	A language for specifying type contracts in Erlang and its interaction with success typings.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	success typings, contracts, erlang
56	Yongmei Liu 0006, Yanlong Zhang, Zhenjun Zhao	The survey on supply chain coordination with contracts.	ICEC	2005	DBLP DOI BibTeX RDF	high-tech industry, manufacturing modes, coordination, contracts, supply chain
56	Mark Klein, Peyman Faratin, Hiroki Sayama, Yaneer Bar-Yam	Protocols for Negotiating Complex Contracts.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	multiple interdependent issues, simulated annealing, contracts, negotiation protocol, prisoner's dilemma
56	Lionel C. Briand, Yvan Labiche, Hong Sun	Investigating the use of analysis contracts to support fault isolation in object oriented code.	ISSTA	2002	DBLP DOI BibTeX RDF	contracts, testability, object-oriented analysis, object-oriented testing
55	Werner Streitberger	Framework for the Negotiation of Electronic Contracts in E-Business on Demand.	CEC	2005	DBLP DOI BibTeX RDF
53	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
48	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for web services.	POPL	2008	DBLP DOI BibTeX RDF	explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory
48	Yathiraj B. Udupi, Munindar P. Singh	Dynamics of contracts-based organizations: a formal approach based on institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	contracts, organizations, commitments, institutions
48	Kevin Lano, José Luiz Fiadeiro	Extending UML with coordination contracts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Coordination contracts, UML, MDA
48	Benjamin N. Grosof, Terrence C. Poon	SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.	WWW	2003	DBLP DOI BibTeX RDF	process descriptions, ontologies, web services, XML, semantic web, knowledge representation, logic programs, electronic commerce, OWL, RDF, semantic web services, description logic, knowledge-based, rules, declarative, intelligent software agents, DAML+OIL, electronic contracts, process knowledge, business process automation
48	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
48	Partha Sarathi Dutta, Sandip Sen	Optimal sequencing of individually rational contracts.	AAMAS	2002	DBLP DOI BibTeX RDF	rational contracts, genetic algorithms
48	Andreas Rausch	Software evolution in componentware using requirements/assurances contracts.	ICSE	2000	DBLP DOI BibTeX RDF	description techniques, software architecture, formal methods, object-orientation, software evolution, contracts, componentware
48	Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich	Contracts made manifest.	POPL	2010	DBLP DOI BibTeX RDF	blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
48	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	Automatic Conflict Detection on Contracts.	ICTAC	2009	DBLP DOI BibTeX RDF
48	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
48	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
48	Kamalakar Karlapalem, P. Radha Krishna 0001	State of the Art in Modeling and Deployment of Electronic Contracts.	ICWS	2007	DBLP DOI BibTeX RDF
48	Hemant K. Jain 0001, Calton Pu, Sridhar Iyengar, M. Brian Blake, Carl K. Chang	State of the Art in Modeling and Deployment of Electronic Contracts.	IEEE SCC	2007	DBLP DOI BibTeX RDF
48	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
48	Atul Gupta, Amit Raj	Strengthening Method Contracts for Objects.	APSEC	2006	DBLP DOI BibTeX RDF
48	Hervé Chang, Philippe Collet, Alain Ozanne, Nicolas Rivierre	From Components to Autonomic Elements Using Negotiable Contracts.	ATC	2006	DBLP DOI BibTeX RDF
48	Hyungna Oh, Timothy Mount	Testing the Effects of Holding Forward Contracts On the Behavior of Suppliers in an Electricity Auction.	HICSS	2005	DBLP DOI BibTeX RDF
48	Mizuho Iwaihara, Haiying Jiang, Yahiko Kambayashi	An integrated model of workflows, e-contracts and solution implementation.	SAC	2004	DBLP DOI BibTeX RDF	workflows, business process, e-contract
48	Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luís Andrade 0001, José Luiz Fiadeiro	Using Coordination Contracts for Flexible Adaptation to Changing Business Rules.	IWPSE	2003	DBLP DOI BibTeX RDF
48	Isabel Nunes	An OCL Extension for Low-Coupling Preserving Contracts.	UML	2003	DBLP DOI BibTeX RDF
48	Eivind J. Nordby, Martin Blom, Anna Brunström	On the Relation between Design Contracts and Errors: A Software Development Strategy.	ECBS	2002	DBLP DOI BibTeX RDF	case study, development, contract, error, strategy, fault
48	Mark Klein, Peyman Faratin, Yaneer Bar-Yam	Using an Annealing Mediator to Solve the Prisoners' Dilemma in the Negotiation of Complex Contracts.	AMEC	2002	DBLP DOI BibTeX RDF
48	Tuomas Sandholm, Yunhong Zhou	Surplus Equivalence of Leveled Commitment Contracts.	ICMAS	2000	DBLP DOI BibTeX RDF	Foundations (game-theory, economics), Agents in electronic commerce, Mechanism design, Conflict resolution and negotiation
46	Diane Bandow	The shadow knows: performance expectations of new hires in an IT organization.	CPR	2004	DBLP DOI BibTeX RDF	employment contracts, employment relationships, organizational and individual expectations, performance expectations, technical professionals, psychological contracts
45	Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai	Contract-Based Testing for Web Services.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
45	Victoria Ungureanu	Using certified policies to regulate E-commerce transactions.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Contract terms, Scalability, Enforcement
45	John Knottenbelt, Keith Clark	Contract-Related Agents.	CLIMA	2005	DBLP DOI BibTeX RDF
45	Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau	An MDA Approach to Tame Component Based Software Development.	FMCO	2003	DBLP DOI BibTeX RDF
45	Paul W. P. J. Grefen, Samuil Angelov	e-Business Track On tau-, µ-, pi-, and epsilon-Contracting.	WES	2002	DBLP DOI BibTeX RDF
41	Rashina Hoda, James Noble 0001, Stuart Marshall	Negotiating Contracts for Agile Projects: A Practical Perspective.	XP	2009	DBLP DOI BibTeX RDF	Contracts, Grounded Theory, Agile Project Management
41	R. P. Sundarraj 0001	A model for standardizing human decisions concerning service-contracts management.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Contracts and warranties, World wide web, Heuristic, Electronic commerce, Services, Analytical hierarchy process
41	Philippe Meunier, Robert Bruce Findler, Matthias Felleisen	Modular set-based analysis from contracts.	POPL	2006	DBLP DOI BibTeX RDF	modular analysis, runtime contracts, static debugging, set-based analysis
41	Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen	Towards a unifying view on security contracts.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	secure software engineering, security contracts, component technology
41	Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt	Fine-grained interoperability through mirrors and contracts.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, interoperability, contracts, scheme, mirrors
40	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
40	Cristian Prisacariu, Gerardo Schneider	Abstract specification of legal contracts.	ICAIL	2009	DBLP DOI BibTeX RDF
40	Gordon J. Pace, Gerardo Schneider	Challenges in the Specification of Full Contracts.	IFM	2009	DBLP DOI BibTeX RDF
40	Víctor Rodríguez-Doncel, Jaime Delgado	Semantic Expression and Execution of B2B Contracts on Multimedia Content.	SAMT	2009	DBLP DOI BibTeX RDF	Ontology, Contract, Intellectual Property, DRM, license, MPEG-21
40	P. Radha Krishna 0001, Kamalakar Karlapalem	Electronic Contracts.	IEEE Internet Comput.	2008	DBLP DOI BibTeX RDF
40	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider	Run-Time Monitoring of Electronic Contracts.	ATVA	2008	DBLP DOI BibTeX RDF
40	Carole Bernard, Christiane Lemieux	Fast simulation of equity-linked life insurance contracts with a surrender option.	WSC	2008	DBLP DOI BibTeX RDF
40	Robert J. Kauffman, Ryan Sougstad	Value-at-Risk in IT Services Contracts.	HICSS	2007	DBLP DOI BibTeX RDF
40	Guido Boella, Leendert W. N. van der Torre	A game theoretic approach to contracts in multiagent systems.	IEEE Trans. Syst. Man Cybern. Part C	2006	DBLP DOI BibTeX RDF
40	Yukui Fei	An Approach of Service Tailoring Based-on Parameterized Contracts.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
40	Guido Governatori, Zoran Milosevic, Shazia Wasim Sadiq	Compliance checking between business processes and business contracts.	EDOC	2006	DBLP DOI BibTeX RDF
40	Alan W. Colman, Jun Han 0004	Operational Management Contracts for Adaptive Software Organisation.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
40	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
40	Susanne Guth, Gustaf Neumann, Mark Strembeck	Experiences with the enforcement of access rights extracted from ODRL-based digital contracts.	Digital Rights Management Workshop	2003	DBLP DOI BibTeX RDF
40	Erik Beulen, Pieter M. A. Ribbers	IT Outsourcing Contracts: Practical Implications of the Incomplete Contract Theory.	HICSS	2003	DBLP DOI BibTeX RDF
40	Victoria Ungureanu	Regulating E-Commerce through Certified Contracts.	ACSAC	2002	DBLP DOI BibTeX RDF
40	Simon L. Peyton Jones	Composing Contracts: An Adventure in Financial Engineering.	FME	2001	DBLP DOI BibTeX RDF
40	Robert Bruce Findler, Mario Latendresse, Matthias Felleisen	Behavioral contracts and behavioral subtyping.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
40	Olivera Marjanovic, Zoran Milosevic	Towards Formal Modeling of e-Contracts.	EDOC	2001	DBLP DOI BibTeX RDF
40	Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward	Composing contracts: an adventure in financial engineering, functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell, PEARL
40	Richard Mitchell, James McKim	Extending a Method of Devising Software Contracts.	TOOLS (32)	1999	DBLP DOI BibTeX RDF
40	Dennis K. Knight	A new look at computer contracts.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
39	Hylke W. van Dijk, Koen Langendoen, Henk J. Sips	ARC: A Bottom-Up Approach to Negotiated QoS.	WMCSA	2000	DBLP DOI BibTeX RDF	ARC framework, Adaptive Research Contracts, negotiated service quality, adaptive mobile systems, resource-scarce environment, external conditions, cost-based decisions, performance feedback, adjacent layers, multi-level hierarchy, quality modes, cost modes, algorithm tradeoffs, global cost-effective solutions, quality of service, mobile computing, resource allocation, case study, feedback, adaptive systems, contracts, workloads, client-server systems, client-server system, distributed control, distributed control, telecommunication control, bottom-up approach, operation mode, generic interface
38	Kishore Varma Indukuri, P. Radha Krishna 0001	Mining e-contract documents to classify clauses.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	data mining, e-contracts, text analytics
38	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
38	Li Lin 0008, Jinpeng Huai, Yanmin Zhu, Chunming Hu, Xianxian Li	A Multi-agents Contractual Approach to Incentive Provision in Non-cooperative Networks.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Non-cooperative network, incentive contracts, unique implementation, mechanism design, collusion, hidden-information, hidden-action
38	Sandra K. Newton, Stephen C. Wingreen, J. Ellis Blanton	Alternative employment arrangements contribute to organizational citizenship and innovative work, or not: information technology professional's psychological contract will tell.	CPR	2005	DBLP DOI BibTeX RDF	alternative employment arrangements, organizational citizenship behavior, social information processing theory, IT professional, psychological contracts
38	Bernhard K. Aichernig	The Commuting V-Diagram.	CSL	2003	DBLP DOI BibTeX RDF	formal methods, refinement, contracts, specification-based testing, refinement calculus
38	Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till	A Three-Layer Framework for Cross-Organizational e-Contract Enactment.	WES	2002	DBLP DOI BibTeX RDF	cross-organizational business process, Web services, UML, workflow management, e-contracts
38	Clément Hurlin	Specifying and checking protocols of multithreaded classes.	SAC	2009	DBLP DOI BibTeX RDF	protocols, object-orientation, multithreading, design by contract
38	Mario Bravetti, Gianluigi Zavattaro	Contract Based Multi-party Service Composition.	FSEN	2007	DBLP DOI BibTeX RDF
38	Ioan Alfred Letia, Adrian Groza	Agreeing on Defeasible Commitments.	DALT	2006	DBLP DOI BibTeX RDF
38	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Extra-Functional Contract Support in Components.	CBSE	2004	DBLP DOI BibTeX RDF
38	Avraam Chimaris, George A. Papadopoulos	Implementing QoS Aware Component-Based Applications.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
38	Ehud Lamm	Adding Design by Contract to the Ada Language.	Ada-Europe	2002	DBLP DOI BibTeX RDF
38	Martin Andersson, Tuomas Sandholm	Sequencing of Contract Types for Anytime Task Reallocation.	AMET	1998	DBLP DOI BibTeX RDF	Multiagent systems, Negotiation, Contracting, Task allocation, Performance profiles
36	Therapon Skotiniotis, David H. Lorenz	Cona: aspects for contracts and contracts for aspects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	design by contract (DBC), aspect-oriented programming (AOP)
33	Felipe Gonçalves Marchione, Marcelo Fantinato, Maria Beatriz Felgar de Toledo, Itana Maria de Souza Gimenes	Price definition in the establishment of electronic contracts for web services.	iiWAS	2009	DBLP DOI BibTeX RDF	quality of service, web services, price, feature modeling, electronic contracts
33	Krishnamurthy Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	Study of Execution Centric Payment Issues in E-contracts.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	transaction properties, composition graph, payment tree, payments, e-contracts
33	Markus Reitz, Ulrich Nögel	Components: a valuable investment for financial engineering, why derivative contracts should be active documents.	PPPJ	2006	DBLP DOI BibTeX RDF	component-orientation, derivative contracts, financial engineering, Java, Java, XML, Web 2.0, active documents
33	Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan	CTR-S: a logic for specifying contracts in semantic web services.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	web services, services composition, contracts
33	Kunsoo Han, Robert J. Kauffman, Barrie R. Nault	Innovator or Owner? Information Sharing, Incomplete Contracts and Governance in Financial Risk Management Systems.	HICSS	2004	DBLP DOI BibTeX RDF	financial risk management, interorganizational IS, information systems, information sharing, ownership, value-at-risk, Economic theory, incomplete contracts
33	Peter Rigole, Yolande Berbers, Tom Holvoet	Mobile adaptive tasks guided by resource contracts.	Middleware for Pervasive and Ad-hoc Computing	2004	DBLP DOI BibTeX RDF	adaptation, pervasive computing, contracts, foraging
33	Aspassia Daskalopulu	Modeling Legal Contracts as Processes.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	legal contract modelling, contract drafting, contract performance monitoring, contractual obligations, processes, contracts