|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1842 occurrences of 1056 keywords
|
|
|
Results
Found 4992 publication records. Showing 4992 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Xiang Wang, Guodong Wu |
Over-Determinate and Incomplete Contract: Incentive Contract Based on Rabin Motivation Fairness Model. |
BIFE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Christian Colombo 0001, Adrian Francalanza, Ian Grima |
Simplifying Contract-Violating Traces |
FLACOS |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Adrian Francalanza, Andrew Gauci, Gordon J. Pace |
Distributed System Contract Monitoring |
FLACOS |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Michael S. Parkin, Dean Kuo, John M. Brooke |
A Framework and Protocols for Service Contract Agreements Based on International Contract Law. |
Int. J. Web Serv. Res. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Wujun Cao, Peiying He, Jinfeng Wang |
Construction and analysis of contract feasible set under quantity-discount contract. |
Kybernetes |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Aybek Mukhamedov, Mark Dermot Ryan |
Fair multi-party contract signing using private contract signatures. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Vandana Kabilan, Jelena Zdravkovic, Paul Johannesson |
Using Multi-Tier Contract Ontology to deduce Contract Workflow Model for enterprise interoperability. |
EMOI-INTEROP |
2005 |
DBLP BibTeX RDF |
|
21 | Andreas Rausch |
"Design by Contract" + "Componentware" = "Design by Signed Contract". |
J. Object Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Ludwig, Yigal Hoffner |
The Role of Contract and Component Semantics in Dynamic E-Contract Enactment Configuration. |
DS-9 |
2001 |
DBLP BibTeX RDF |
|
21 | Kit Burden |
Case Report I: Contract Negotiation not 'Subject-to-Contract'. |
Comput. Law Secur. Rev. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | |
Unfair contract terms directive: Suppliers beware: Implementation of the unfair contract terms directive in Europe. |
Comput. Law Secur. Rev. |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
Automatic Conflict Detection on Contracts. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Gonzalo Reyes H. |
A Centralized Auction Mechanism for the Disability and Survivors Insurance in Chile. |
AMMA |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Zachary Stengel, Tevfik Bultan |
Analyzing singularity channel contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
conversations, asynchronous communication, realizability |
21 | Thomas Walter 0001, Christian Schaefer, Gina Kounga, Makoto Hamatsu |
Evidence Gathering for Remuneration of Shared Connections. |
CNSR |
2008 |
DBLP DOI BibTeX RDF |
connection sharing, remuneration, authentication, authorization, evidences, non-repudiation |
21 | Ahmad Kardan, Hamed Janzadeh |
A Multi-issue Negotiation Mechanism with Interdependent Negotiation Issues. |
ICDS |
2008 |
DBLP DOI BibTeX RDF |
Optimization, E-Commerce, Negotiation |
21 | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
Run-Time Monitoring of Electronic Contracts. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Marco Comuzzi, Mariagrazia Fugini, Stefano Modafferi |
Quality Contracts for Cooperative Services and Associated Resources. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Teresa Franklin |
Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts. |
AGILE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu |
A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their Outsourcers. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
Model Checking Contracts - A Case Study. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Vijay C. Chieu, Thao Nguyen, Liangzhao Zeng |
Secure Search of Private Documents in an Enterprise Content Management System. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Mari Nyrhinen, Tomi Dahlberg |
Is Transaction Cost Economics Theory Able to Explain Contracts Used for and Success of Firm-Wide IT-Infrastructure Outsourcing? |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Lamparter, Stefan Luckner, Sybille Mutschler |
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Zhe (Jessie) Li, T. S. E. Maibaum |
An Approach to Integration Testing of Object-Oriented Programs. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Steven Reece, Alex Rogers, Stephen J. Roberts, Nicholas R. Jennings |
Rumours and reputation: evaluating multi-dimensional trust within a decentralised reputation system. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
multi-dimensional trust, rumour propogation, Dirichlet distribution |
21 | Xianghua Deng, Robby, John Hatcliff |
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Donglin Liang, Kai Xu 0002 |
Testing Scenario Implementation with Behavior Contracts. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Adam Zachary Wyner |
Sequences, Obligations, and the Contrary-to-Duty Paradox. |
DEON |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jing Liu, Jifeng He 0001 |
Reactive Component based Service-Oriented Design - A Case Study. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Scott A. Allison, Clifford F. Sweet, Douglas P. Beall, Thomas E. Lewis, Thomas Monroe |
Department of Defense Picture Archiving and Communication System Acceptance Testing: Results and Identification of Problem Components. |
J. Digit. Imaging |
2005 |
DBLP DOI BibTeX RDF |
clinical use determination, DIN-PACS, MDIS, monitors, PACS, workstation, acceptance testing, RIS, HIS |
21 | Yishai A. Feldman |
Teaching quality object-oriented programming. |
ACM J. Educ. Resour. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Software quality |
21 | Silvia Llorente, Jaime Delgado, Eva Rodríguez, Rubén Barrio, Isabella Longo, Franco Bixio |
Generation of Standardised Rights Expressions from Contracts: An Ontology Approach? |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wen Ding, William Yurcik, Xiaoxin Yin |
Outsourcing Internet Security: Economic Analysis of Incentives for Managed Security Service Providers. |
WINE |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Collet, Roger Rousseau, Thierry Coupaye, Nicolas Rivierre |
A Contracting System for Hierarchical Components. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Shangmin Luan, Guozhong Dai |
A Computational Approach for Belief Change. |
CIS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Guijun Wang, Changzhou Wang, Alice Chen, Haiqin Wang, Casey K. Fung, Stephen A. Uczekaj, Yi-Liang Chen, Wayne Guthmiller, Joseph Lee |
Service Level Management using QoS Monitoring, Diagnostics, and Adaptation for Networked Enterprise Systems. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Sven Overhage |
UnSCom: A Standardized Framework for the Specification of Software Components. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Chul Jin Kim, Eun Sook Cho |
A Workflow Variability Design Technique for Dynamic Component Integration. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Blume, David A. McAllester |
A sound (and complete) model of contracts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
safety, contracts, predicates |
21 | Jian Chen, Haoya Chen |
Coordination mechanism for postponement strategy with downward substitutable products. |
SMC (7) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Dongjun Wu, Min Ding 0002, Lorin M. Hitt |
Learning in ERP Contracting: A Principal-Agent Analysis. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Adam Zachary Wyner |
Maintaining Obligations on Stative Expressions in a Deontic Action Logic. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Karine Arnout, Bertrand Meyer 0001 |
Uncovering Hidden Contracts: The .NET Example. |
Computer |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Lai Xu 0001, Manfred A. Jeusfeld |
Pro-active Monitoring of Electronic Contracts. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Benoit Aubert, Jean-François Houde, Michel Patry, Suzanne Rivard |
Characteristics of IT Outsourcing Contracts. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Paul W. P. J. Grefen, Samuil Angelov |
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Le Sommer, Frédéric Guidec |
Middleware Support for Resource-Constrained Software Deployment. |
DAIS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Sidharth Choudhury, Asit Dan |
Downloadable Service Contracts for Disconnected Transactions. |
RIDE |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Victoria Ungureanu |
Regulating E-Commerce through Certified Contracts. |
ACSAC |
2002 |
DBLP DOI BibTeX RDF |
|
21 | 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 |
|
21 | Partha Sarathi Dutta, Sandip Sen |
Optimal sequencing of individually rational contracts. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
rational contracts, genetic algorithms |
21 | Claus Pahl |
Components, Contracts, and Connectors for the Unified Modelling Language UML. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Laure Berti-Équille |
Integration of Biological Data and Quality-Driven Source Negotiation. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Taghrid Asfour, Ahmed Serhrouchni |
RMTP Performance in Heterogeneous Environments & a New QoS-Based Mechanism for Building RMTP Trees. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Dongjun Wu, Paul Kleindorfer, Jin E. Zhang |
Optimal Bidding and Contracting Strategies in the Deregulated Electric Power Market: Part II. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Modeling, Contracting, Competition, Equilibrium, Bidding |
21 | Dongjun Wu, Yanjun Sun |
The Emergence of Trust in Multi-Agent Bidding: A Computational Approach. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Disequilibrium, Multi-Agent Systems, Trust, Game Theory, Coordination, Reinforcement Learning, Bidding |
21 | Dongjun Wu, Yanjun Sun |
Multi-Agent Bidding and Contracting for Non-Storable Goods. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Genetic Algorithms, Multi-Agent Systems, Game Theory, Negotiation, Contracting, Bidding |
21 | Markus Greunz, Bernd Schopp, Joachim Haes |
Integrating e-Government Infrastructures through Secure XML Document Containers. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Electronic Notification, XML, Electronic Government, Electronic Contracting, Electronic Negotiation |
21 | Benoit Aubert, Suzanne Rivard |
Trends in Outsourcing of Information Systems - Minitrack Introduction. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Mark S. Miller, Chip Morningstar, Bill Frantz |
Capability-Based Financial Instruments. |
Financial Cryptography |
2000 |
DBLP DOI BibTeX RDF |
|
21 | 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 |
21 | Audrey Biloon |
Caveat emptor. |
Int. J. Netw. Manag. |
1999 |
DBLP DOI BibTeX RDF |
|
21 | S. Shaheen Fatima, Garimella Uma |
An Adaptive Organizational Policy for Multi Agent Systems - AASMAN. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
ContractNet Protocol, Social Reasoning Mechanism, Distributed Computational Economy, Organization Self Design, Multi Agent System |
20 | Cristian Mateos, Marco Crasso, Alejandro Zunino, Marcelo R. Campo |
Separation of concerns in service-oriented applications based on pervasive design patterns. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
contract-last service consumption, dependency injection, web services, service-oriented computing, separation of concerns |
20 | Toshiharu Sugawara, Kensuke Fukuda, Toshio Hirotsu, Satoshi Kurihara |
Adaptive probabilistic task allocation in large-scale multi-agent systems and its evaluation. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
distributed task allocation, optimization, load-balancing, adaptive behavior, contract net protocol |
20 | Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin |
Liability in software engineering: overview of the LISE approach and illustration on a case study. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
formal methods, specification, contract, defects, evidence, legal aspects, liability |
20 | Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt |
Specifying norm-governed computational societies. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
agent, policy, norm, executable specification, event calculus, Action language, contract-net |
20 | Asad B. Sayeed, Soumitra Sarkar, Yu Deng 0004, Rafah Hosn, Ruchi Mahindru, Nithya Rajamani |
Characteristics of document similarity measures for compliance analysis. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
compliance analysis, contract template retrieval, text mining, latent semantic indexing, cosine similarity |
20 | Javier-Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet |
Non-functional properties and services coordination using contracts. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
reliable services-coordination, contract, non-functional properties |
20 | Clément Hurlin |
Specifying and checking protocols of multithreaded classes. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
protocols, object-orientation, multithreading, design by contract |
20 | Markus Rückert |
Verifiably Encrypted Signatures from RSA without NIZKs. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
Online contract signing, RSA, Merkle hash trees |
20 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Flexible deadlines for directed obligations in agent-based business contracts. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
normative behavior, contract, norms, deadline |
20 | Danny Weyns, Nelis Boucké, Tom Holvoet |
A field-based versus a protocol-based approach for adaptive task assignment. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Gradient fields, Extended Contract Net protocol, Automatic Guided Vehicles, AGN, Task assignment |
20 | Lei Cao 0005, Minglu Li 0001, Jian Cao 0001, Joshua Zhexue Huang |
CNP-based Implementation of Service-oriented Workflow Mapping in SHGWMS. |
World Wide Web |
2008 |
DBLP DOI BibTeX RDF |
workflow mapping, ShanghaiGrid, service-oriented, BDI agent, contract net protocol |
20 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Semantics-Based Design for Secure Web Services. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
call-by-contract, Web services, static analysis, language-based security, system verification |
20 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Electronic institutions for B2B: dynamic normative environments. |
Artif. Intell. Law |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent system, Contract, Norm, Electronic institution |
20 | Robin Jaulmes, Éric Moliné |
HNG: A Robust Architecture for Mobile Robots Systems. |
EUROS |
2008 |
DBLP DOI BibTeX RDF |
real applications, reliability, robotics, robustness, modularity, multi-agent, control architecture, IPC, contract-net protocol |
20 | Aaron McCoy, Tomás Ward, Seamus C. McLoone, Declan Delaney |
Multistep-ahead neural-network predictors for network traffic reduction in distributed interactive applications. |
ACM Trans. Model. Comput. Simul. |
2007 |
DBLP DOI BibTeX RDF |
Distributed interactive applications, multistep-ahead prediction, network bandwidth reduction, networked multiplayer computer games, predictive contract mechanisms, wargames, neural networks, scalability, consistency, collaborative virtual environments, networked virtual environments, dead reckoning, distributed interactive simulation |
20 | Haldor Samset, Rolv Bræk |
Dealing with Active and Stateful Services in the Service-Oriented Architecture. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
collaboration-based, behavioral contract, Service-oriented architecture, stateful, service modeling, stateless |
20 | Christina N. Outlay |
Resizing information systems personnel after IT outsourcing: exploring psychological contracts, violations, and employee outcomes. |
CPR |
2007 |
DBLP DOI BibTeX RDF |
psychological contract violation, strategic information systems planning, IT outsourcing, IS personnel, resizing |
20 | Gary T. Leavens |
Tutorial on JML, the java modeling language. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
20 | L. J. Wang, A. S. M. Sajeev, Lachana Inchaiwong |
A Formal Specification of Interaction Widgets Hierarchy Framework. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
device independent interface, abstract interactor, object constraint language (OCL), widget, design by contract |
20 | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier |
Definition and Correct Refinement of Operation Specifications. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT |
20 | Gregor Engels, Baris Güldali, Marc Lohmann |
Towards Model-Driven Unit Testing. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
visual contracts, model checking, test case generation, Design by Contract |
20 | Jing Zhang 0003, Jeff Gray 0001, Yuehua Lin |
A model-driven approach to enforce crosscutting assertion checking. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program transformation, design by contract, model-driven software development |
20 | Timothy S. Gegg-Harrison |
Constructing contracts: Making discrete mathematics relevant to beginning programmers. |
ACM J. Educ. Resour. Comput. |
2005 |
DBLP DOI BibTeX RDF |
programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics |
20 | Michael Maaser, Peter Langendörfer |
Automated Negotiation of Privacy Contracts. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
privacy, negotiation, contract, preferences |
20 | Samir Aknine, Suzanne Pinson, Melvin F. Shakun |
An Extended Multi-Agent Negotiation Protocol. |
Auton. Agents Multi Agent Syst. |
2004 |
DBLP DOI BibTeX RDF |
multi-agent systems, negotiation protocol, contract net protocol |
20 | 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) |
20 | Feng Li, Junzhou Luo, Yinying Yang, Ye Zhu, Teng Ma |
A Dynamic Grid Authorization Mechanism with Result Feedback. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
Security Contract, Dynamic Authorization, Trust, Grid, Negotiation |
20 | Daniël Vloeberghs, Erik Faes |
The role of human resource management in implementing a 'new agreement' between employers and employees. |
AI Soc. |
2003 |
DBLP DOI BibTeX RDF |
New Deal, Human Resource Management, Quality management, Psychological contract |
20 | Juliet M. Moringiello |
From vending machines to Web sites: mutual assent between man and machine. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
browsewrap, clickwrap, shrinkwrap, contract |
20 | Silvio Micali |
Simple and fast optimistic protocols for fair electronic exchange. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
invisible trusted parties, fair exchange, Optimistic Protocols, contract signing, certified e-mail |
20 | Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan |
On Analysis of Design Component Contracts: A Case Study. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
Component-based software design, Model Checking, Design Pattern, Contract, Web-based systems, Process Calculus |
20 | 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 |
20 | 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 |
20 | Daniel Deveaux, Patrice Frison, Jean-Marc Jézéquel |
Increase Software Trustability with Self-Testable Classes in Java. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
self-testable class, java, XML, software engineering, Software component, software development process, design by contract, testing tools |
20 | Garimella Uma, Tolety Siva Perraju |
Services on the Net: An Agent Based Approach. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
personalized customer service, communication languages, adaptive negotiation protocols, customized financial service, conference management workflow, market-oriented approach, social reasoning model, contract net approach, quality of service, Internet, Internet, negotiation, businesses, vocabulary, service providers, agent-based approach, task sharing |
Displaying result #301 - #400 of 4992 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|