|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1372 occurrences of 797 keywords
|
|
|
Results
Found 4935 publication records. Showing 4935 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Guido Governatori, Florian Idelberger, Zoran Milosevic, Régis Riveret, Giovanni Sartor, Xiwei Xu 0001 |
On legal contracts, imperative and declarative smart contracts, and blockchain systems. |
Artif. Intell. Law |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Graham Gal, William E. McCarthy |
Implementation of REA Contracts as Blockchain Smart Contracts: An Exploratory Exampl. |
VMBO |
2018 |
DBLP BibTeX RDF |
|
21 | Christian Colombo 0001, Joshua Ellul, Gordon J. Pace |
Contracts over Smart Contracts: Recovering from Violations Dynamically. |
ISoLA (4) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Ton Chanh Le, Lei Xu 0012, Lin Chen 0009, Weidong Shi |
Proving Conditional Termination for Smart Contracts. |
BCC@AsiaCCS |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alysson Milanez, Bianca Lima, José Ferreira, Tiago Massoni |
Nonconformance between programs and contracts: a study on C#/code contracts open source systems. |
SAC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fangruo Chen, Guoming Lai 0001, Wenqiang Xiao |
Provision of Incentives for Information Acquisition: Forecast-Based Contracts vs. Menus of Linear Contracts. |
Manag. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Michael Becker-Peth, Ulrich W. Thonemann |
Reference points in revenue sharing contracts - How to design optimal supply chain contracts. |
Eur. J. Oper. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Cornelia Gaebert |
Reliable Customers and Credible Fixed-Price Contracts for Software Development Projects: A Study of One Supplier's Contracts. |
BIR |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel |
Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics. |
IESS |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi |
On Verifying Resource Contracts using Code Contracts. |
LAFM |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Ojelanki K. Ngwenyama, William E. Sullivan |
Outsourcing contracts as instruments of risk management: Insights from two successful public contracts. |
J. Enterp. Inf. Manag. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lingxiu Dong, Kaijie Zhu |
Two-Wholesale-Price Contracts: Push, Pull, and Advance-Purchase Discount Contracts. |
Manuf. Serv. Oper. Manag. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Charles J. Corbett, Gregory A. DeCroix, Albert Y. Ha |
Optimal shared-savings contracts in supply chains: Linear contracts and double moral hazard. |
Eur. J. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Stephen Saxby |
Book review: Computer contracts: Drafting and negotiating computer contracts, Rachel Burnett, Paul Klinger, 2nd ed., Tottel Publishing (2005), 736 pp. hard-cover, £175, ISBN: 0 406 90809 5. |
Comput. Law Secur. Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | P. Radha Krishna 0001, Kamalakar Karlapalem, Ajay R. Dani |
From Contracts to E-Contracts: Modeling and Enactment. |
Inf. Technol. Manag. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Timothy Stubbs, Rachel Burnett |
IT Contracts: IT Contracts for English Customers with Russian Parties. |
Comput. Law Secur. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Lorna E. Gillies |
Jurisdiction for Consumer Contracts: European Union: Modified Rules of Jurisdiction for Electronic Consumer Contracts. |
Comput. Law Secur. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Mark Moncreiffe |
Telecoms service contracts: Telecommunications service contracts - The legal implications. |
Comput. Law Secur. Rev. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller |
Automated fixing of programs with contracts. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
automatic debugging, automatic fixing, dynamic invariants, program synthesis |
18 | |
ConTracts. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer |
A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Peter A. Moldovyanu, E. Dernova, A. Kostina, Nick A. Moldovyan |
Multisignature Protocols and Problem of Simultaneous Signing a Package of Contracts. |
IF&GIS |
2009 |
DBLP DOI BibTeX RDF |
Collective digital signature, multisignature schemes, Digital signature, Public key, Finite group, Discrete logarithm problem |
18 | Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal |
Formal and executable contracts for transaction-level modeling in SystemC. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling |
18 | André Luiz B. Rodrigues, Leila N. Bezerra, Alexandre Sztajnberg, Orlando Loques |
Self-Adaptation of Fault Tolerance Requirements Using Contracts. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Paul Groth, Simon Miles, Sanjay Modgil, Nir Oren, Michael Luck, Yolanda Gil |
Determining the Trustworthiness of New Electronic Contracts. |
ESAW |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Alvaro Arenas, Michael D. Wilson, Shirley Y. Crompton, Dana Cojocarasu, Tobias Mahler, Lutz Schubert |
Bridging the Gap between Legal and Technical Contracts. |
IEEE Internet Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve |
Specification and Checking of Software Contracts for Conditional Information Flow. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Henri Eberspächer, Michelle Joab |
An Intelligent Web-Based Learning System for Group Collaboration Using Contracts. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
Intelligent Web-based learning, Role-based collaboration, Contract |
18 | Athanasios N. Yannacopoulos, Costas Lambrinoudakis, Stefanos Gritzalis, Stylianos Z. Xanthopoulos, Sokratis K. Katsikas |
Modeling Privacy Insurance Contracts and Their Utilization in Risk Management for ICT Firms. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
Random Utility Models, Privacy, Risk Modeling, Insurance |
18 | Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava |
A Rule-Based Notation to Specify Executable Electronic Contracts. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Teresa Franklin |
Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts. |
AGILE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel 0001, Christoph Pohl, Simone Röttger |
Enforceable component-based realtime contracts. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Component runtime environment, Real-time systems, Component-based software engineering, Model-driven software development |
18 | Francisco Curbera |
Component Contracts in Service-Oriented Architectures. |
Computer |
2007 |
DBLP DOI BibTeX RDF |
SOAs, Web services, service orientation, service component architecture |
18 | Reiko Heckel, Marc Lohmann |
Model-driven development of reactive information systems: from graph transformation rules to JML contracts. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
Model Checking Contracts - A Case Study. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
18 | K. Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem |
A Multi-level Model for Activity Commitments in E-contracts. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Michael Maaser, Steffen Ortmann, Peter Langendörfer |
The Privacy Advocate: Assertion of Privacy by Personalised Contracts. |
WEBIST (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
privacy contract, Privacy, mobile devices, negotiation, personalisation, user preferences, P3P |
18 | Steffen Lamparter, Stefan Luckner, Sybille Mutschler |
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mary Poppendieck |
Agile Contracts. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ritesh Kumar Tiwari, Vishal Dwivedi, Kamalakar Karlapalem |
SLA Driven Process Security through Monitored E-contracts. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Alexandros Labrinidis, Huiming Qu, Jie Xu 0042 |
Quality Contracts for Real-Time Enterprises. |
BIRTE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Leonardo Cardoso, Alexandre Sztajnberg, Orlando Loques |
Self-Adaptive Applications Using ADL Contracts. |
SelfMan |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Leonas Ustinovichius, Edmundas Kazimieras Zavadskas, Darius Migilinskas, Anna Malewska, Paul Nowak, Andrew Minasowicz |
Verbal Analysis of Risk Elements in Construction Contracts. |
CDVE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Javier Bustos-Jiménez, Denis Caromel, Mario Leyton, José M. Piquer |
Coupling Contracts for Deployment on Alien Grids. |
Euro-Par Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Russell Lock |
Automated Negotiation for Service Contracts. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ingo Oesterreicher, Andreas Mitschele, Frank Schlottmann, Detlef Seese |
Comparison of multi-objective evolutionary algorithms in optimizing combinations of reinsurance contracts. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
mean-variance-criterion, optimal reinsurance, multi-objective evolutionary algorithm, value-at-risk |
18 | Bei Shui Liao, Huaxin Huang, Ji Gao |
An Extended BDI Agent with Policies and Contracts. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Georgios K. Giannikis, Aspassia Daskalopulu |
Defeasible Reasoning with e-Contracts. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Marc Jézéquel |
Reifying the Semantic Domains of Component Contracts. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Patrice Chalin |
Are Practitioners Writing Contracts? |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
program assertions, empirical study, design by contract, Eiffel |
18 | Surya Nepal, John Zic, Thi Chau |
Compatibility of Service Contracts in Service-Oriented Ap. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Lai Xu 0001, Manfred A. Jeusfeld, Paul W. P. J. Grefen |
Detection tests for identifying violators of multi-party contracts. |
SIGecom Exch. |
2005 |
DBLP DOI BibTeX RDF |
contract violation, detecting contract violator, E-contract |
18 | Juong-Sik Lee, Boleslaw K. Szymanski |
Stabilizing markets via a novel auction based pricing mechanism for short-term contracts for network services. |
Integrated Network Management |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Bei Shui Liao, Ji Gao |
A Model of Multi-agent System Based on Policies and Contracts. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yan Jin, Jun Han 0004 |
Runtime Validation of Behavioural Contracts for Component Software. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche |
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Emily M. Weitzenböck |
Good faith and fair dealing in contracts formed and performed by electronic agents. |
Artif. Intell. Law |
2004 |
DBLP DOI BibTeX RDF |
contract formation, contract performance, electronic agents, fair dealing, good faith, autonomous agents |
18 | Ralph-Johan Back, Cristina Cerschi Seceleanu |
Contracts and Games in Controller Synthesis for Discrete Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | John Strassner |
Using Lifecycles and Contracts to Build Better Telecommunications Systems. |
ECUMN |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Carson Reynolds, Rosalind W. Picard |
Affective sensors, privacy, and ethical contracts. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
contractualism, privacy, sensors, affective computing, ethics, emotion recognition |
18 | Zafeer Alibhai, William A. Gruver, Dilip B. Kotak, Dorian Sabaz |
Distributed coordination of micro-grids using bilateral contracts. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lai Xu 0001, Manfred A. Jeusfeld |
Detecting Violators of Multi-party Contracts. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mark A. Brown |
Obligation, Contracts, and Negotiation. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Iman Poernomo |
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Henner Gimpel, Heiko Ludwig, Asit Dan, Robert D. Kearney |
PANDA: Specifying Policies for Automated Negotiations of Service Contracts. |
ICSOC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava |
Model Checking Correctness Properties of Electronic Contracts. |
ICSOC |
2003 |
DBLP DOI BibTeX RDF |
contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract |
18 | Melissa J. Buco, Rong N. Chang, Laura Z. Luan, Christopher Ward, Joel L. Wolf, Philip S. Yu, Tevfik Kosar, Syed Umair Ahmed Shah |
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel |
Requirements by Contracts allow Automated System Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lai Xu 0001, Manfred A. Jeusfeld |
Pro-active Monitoring of Electronic Contracts. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Gerald Quirchmayr, Zoran Milosevic, Roger Tagg, James B. Cole, Sachin Kulkarni |
Establishment of Virtual Enterprise Contracts. |
DEXA |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Hans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum |
Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. |
ESAW |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Zoran Milosevic, R. Geoff Dromey |
On Expressing and Monitoring Behaviour in Contracts. |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001 |
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel |
Robustness and Diagnosability of OO Systems Designed by Contracts. |
IEEE METRICS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Fredrik Vraalsen, Ruth A. Aydt, Celso L. Mendes, Daniel A. Reed |
Performance Contracts: Predicting and Monitoring Grid Application Behavior. |
GRID |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Eleanna Kafeza, Dickson K. W. Chiu, Irene Kafeza |
View-Based Contracts in an E-Service Cross-Organizational Workflow Environment. |
TES |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Merijn de Jonge, Joost Visser 0001 |
Grammers as Contracts. |
GCSE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | James Huw Evans, Peter Dickman |
Zones, Contracts and Absorbing Changes: An Approach to Software Evolution. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Michael Ben-Or, Oded Goldreich 0001, Silvio Micali, Ronald L. Rivest |
A Fair Protocol for Signing Contracts (Extended Abstract). |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
16 | James Skene, Franco Raimondi, Wolfgang Emmerich |
Service-Level Agreements for Electronic Services. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
electronic services, domain-specific languages, Service-level agreements, model-driven engineering, contracts |
16 | Massimo Bartoletti, Roberto Zunino |
A Calculus of Contracting Processes. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
circular assume-guarantee, concurrent constraints, contracts, cut elimination |
16 | Matthias Felleisen |
Adding types to untyped languages. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
software contracts, type systems, scheme |
16 | Muhammad Adeel Talib, Alan W. Colman, Jun Han 0004, Justin King, Malinda Kapuruge |
A Service Packaging Platform for Delivering Services. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
service packaging platform, service delivery functions, service contracts |
16 | Burkhard Stiller |
Telecommunication economics - overview of the field, recommendations, and perspectives. |
Comput. Sci. Res. Dev. |
2009 |
DBLP DOI BibTeX RDF |
Telecommunication and internet services, Tariffing and pricing, Contracts and legal domains, Dynamic business, Personalization, Incentives, Accounting, Competition, Quality-of-Experience, Value chain |
16 | Benjamin Edelman |
Deterring Online Advertising Fraud through Optimal Payment in Arrears. |
Financial Cryptography |
2009 |
DBLP DOI BibTeX RDF |
contracts, signaling, online advertising, screening, fraud |
16 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
Static type inference for Ruby. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
contracts, type inference, Ruby, dynamic typing |
16 | Gian Luigi Albano, Federico Dini, Roberto Zampino |
Bidding for Complex Projects: Evidence from Italian Government's Acquisitions of IT Services. |
EGOV |
2009 |
DBLP DOI BibTeX RDF |
tenders, IT contracts, complex projects, procurement, scoring rules |
16 | Manuel Fähndrich |
Language-agnostic specification and verification: invited talk. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
specifications, static analysis, abstract interpretation, contracts, net |
16 | Jing Ming, Mao Pan |
An Improved Horizons Method for 3D Geological Modeling from Boreholes. |
ESIAT (2) |
2009 |
DBLP DOI BibTeX RDF |
improved horizons method, 3D geological modeling, borehole modeling, contracts numbering tool |
16 | Ying-Ju Chen, Xiaojian Zhao |
Contractual traps. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
principal-agent relationship, cognition, unawareness, incomplete contracts |
16 | Anna Queralt, Ernest Teniente |
Reasoning on UML Conceptual Schemas with Operations. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
operation contracts, Conceptual modeling, automatic reasoning |
16 | Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, Nir Oren, Simon Miles, Michael Luck |
A framework for monitoring agent-based normative systems. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
monitoring, norms, electronic contracts |
16 | Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas |
Patterns: from system design to software testing. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Testing, Design patterns, Contracts |
16 | Vasilios Andrikopoulos, Salima Benbernou, Mike P. Papazoglou |
Managing the Evolution of Service Specifications. |
CAiSE |
2008 |
DBLP DOI BibTeX RDF |
service versioning, Web services, service differentiation, service contracts |
16 | Anniina Huttunen, Ville Oksanen, Juha Laine |
Digital consumer and user rights in EU policy. |
ICEC |
2008 |
DBLP DOI BibTeX RDF |
contracts, copyright, consumers, European union |
16 | Konstantinos Sagonas, Daniel Luna |
Gradual typing of erlang programs: a wrangler experience. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
dialyzer, software defect detection, contracts, erlang |
16 | Marcelo Fantinato, Itana Maria de Souza Gimenes, Maria Beatriz Felgar de Toledo |
Supporting QoS Negotiation with Feature Modeling. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
QoS, Web services, features, e-contracts, information reuse |
16 | Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic |
Open framework for conformance testing via scenarios. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
metrics, scenarios, contracts, conformance testing, non-functional requirements |
16 | Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan |
A Model of Component-Based Programming. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs |
16 | David B. Martin 0001, Rob Procter, John Mariani, Mark Rouncefield |
Working the contract. |
OZCHI |
2007 |
DBLP DOI BibTeX RDF |
customizable-off-the-shelf (COTS) healthcare information systems, ethnography, project management, contracts |
Displaying result #301 - #400 of 4935 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|