software contracts - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1673

2012

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

2011

Consignment contracts with retail competitionElodie Adida, Nantaporn Ratisoontorn. eor, 215(1):136-148, 2011. [doi]

Asymmetric Information and Economies of Scale in Service ContractingMustafa Akan, Baris Ata, Martin A. Lariviere. msom, 13(1):58-72, 2011. [doi]

Enabling the runtime assertion checking of concurrent contracts for the Java modeling languageWladimir Araujo, Lionel C. Briand, Yvan Labiche. ICSE 2011: 786-795 [doi]

Service Oriented Enterprise and Contracted Profit SharingAli Habibi Badrabadi, Mohammad Jafar Tarokh, Shahriar Mohammadi. ijssoe, 2(2):77-95, 2011. [doi]

Translucid contracts: expressive specification and modular verification for aspect-oriented interfacesMehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney. AOSD 2011: 141-152 [doi]

Polymorphic ContractsJoão Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce. ESOP 2011: 18-37 [doi]

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic ExecutionJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng. NFM 2011: 58-72 [doi]

Comparison of unstructured finite-volume morphodynamic models in contracting channel flowsFayssal Benkhaldoun, Salah Daoudi, Imad Elmahi, Mohammed Seaïd. mcs, 81(10):2087-2097, 2011. [doi]

Contacts and Contracts: Cross-Level Network Dynamics in the Development of an Aircraft MaterialHans Berends, Elco van Burg, Erik M. van Raaij. orgsci, 22(4):940-960, 2011. [doi]

::::n::::-Contractive BL-logicsMatteo Bianchi, Franco Montagna. AML, 50(3-4):257-285, 2011. [doi]

Cloud services for SMEs: Contract Management s requirements specificationMario A. Bochicchio, Antonella Longo, Caterina Mansueto. im 2011: 145-152 [doi]

Contract Management for Cloud Services: Information modelling aspectsMario A. Bochicchio, Antonella Longo, Caterina Mansueto. im 2011: 1035-1042 [doi]

On unbalanced Feistel networks with contracting MDS diffusionAndrey Bogdanov. dcc, 59(1-3):35-58, 2011. [doi]

A transformation contract to generate aspects from access control policiesChristiano Braga. SoSyM, 10(3):395-409, 2011. [doi]

On the potential advantages of exploiting behavioural information for contract-based service discovery and compositionAntonio Brogi. jlp, 80(1):3-12, 2011. [doi]

From Session Guarantees to Contract Guarantees for Consistency of SOA-Compliant ProcessingJerzy Brzezinski, Arkadiusz Danilecki, Anna Kobusinska, Michal Szychowiak. aciids 2011: 386-395 [doi]

Contracts for Model Execution VerificationEric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. ECMDA-FA 2011: 3-18 [doi]

The Effect of financing on a Budget-Constrained Supply Chain under Wholesale Price ContractXiangfeng Chen, Guohua Wan. apjor, 28(4):457-485, 2011. [doi]

Set-valued fixed-point theorems for generalized contractive mappings without the Hausdorff metricYeol Je Cho, Soawapak Hirunworakit, Narin Petrot. appml, 24(11):1959-1967, 2011. [doi]

Coupled fixed points of weakly F-contractive mappings in topological spacesYeol Je Cho, Masood Hussain Shah, Nawab Hussain. appml, 24(7):1185-1190, 2011. [doi]

Common fixed points of almost generalized contractive mappings in ordered metric spacesLjubomir Ciric, Mujahid Abbas, Reza Saadati, Nawab Hussain. amc, 217(12):5784-5789, 2011. [doi]

Making the Decision to Contract for Cloud Services: Managing the Risk of an Extreme Form of IT OutsourcingEric K. Clemons, Yuanyuan Chen. hicss 2011: 1-10 [doi]

Precondition Inference from Intermittent Assertions and Application to Contracts on CollectionsPatrick Cousot, Radhia Cousot, Francesco Logozzo. vmcai 2011: 150-168 [doi]

Location Privacy: Privacy, Efficiency and Recourse through a Prohibitive ContractNeil J. Croft, Martin S. Olivier. tdp, 4(1):19-30, 2011. [doi]

A corpus of Australian contract language: description, profiling and analysisMichael Curtotti, Eric McCreath. icail 2011: 199-208 [doi]

Origins of a repetitive and co-contractive biphasic pattern of muscle activation in Parkinson s diseaseVassilis Cutsuridis. NN, 24(6):592-601, 2011. [doi]

Querying contract databases based on temporal behaviorElio Damaggio, Alin Deutsch, Dayou Zhou. SIGMOD 2011: 397-408 [doi]

Offline enforcement of contracts for high-performance computingKostadin Damevski. concurrency, 23(13):1465-1473, 2011. [doi]

Phylogenies without Branch Bounds: Contracting the Short, Pruning the DeepConstantinos Daskalakis, Elchanan Mossel, Sébastien Roch. siamdm, 25(2):872-893, 2011. [doi]

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspectsBenoît Delahaye, Benoît Caillaud, Axel Legay. fmsd, 38(1):1-32, 2011. [doi]

Correct blame for contracts: no more scapegoatingChristos Dimoulas, Robby Findler, Cormac Flanagan, Matthias Felleisen. POPL 2011: 215-226 [doi]

(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart CardsNicola Dragoni, Eduardo Lostal, Davide Papini. policy 2011: 186-187 [doi]

Contract Specification for Hardware Interoperability Testing and Fault AnalysisRoberto Silveira Silva Filho, Jürgen Hesser, Reinhard Männer. tr, 60(1):351-362, 2011. [doi]

Remarks on Cone metric spaces and fixed point theorems of T-Kannan and T-Chatterjea contractive mappings Milanka Filipovic, Ljiljana Paunovic, Stojan Radenovic, Miloje Rajovic. mcm, 54(5-6):1467-1472, 2011. [doi]

Spectrum Trading in Cognitive Radio Networks: A Contract-Theoretic Modeling ApproachLin Gao, Xinbing Wang, Youyun Xu, Qian Zhang. jsac, 29(4):843-855, 2011. [doi]

Normative conflicts in electronic contractsGeorgios K. Giannikis, Aspassia Daskalopulu. ecra, 10(2):247-267, 2011. [doi]

Contracting a Chordal Graph to a Split Graph or a TreePetr A. Golovach, Marcin Kaminski, Daniël Paulusma. mfcs 2011: 339-350 [doi]

Experimental studies of e-contract establishment in the PL4BPM contextTiago Lopes Goncalves, Itana Maria de Souza Gimenes, Marcelo Fantinato, Guilherme Horta Travassos, Maria Beatriz Felgar de Toledo. ijwet, 6(3):243-265, 2011. [doi]

Notes on weak and strong convergence theorems for a finite family of asymptotically strict pseudo-contractive mappings in the intermediate senseYan-Ni Guo, Qiao-Li Dong, Zhi-Fei Zhang. cma, 62(4):2132-2141, 2011. [doi]

Fixed point theorems for weakly C-contractive mappings in ordered metric spacesJ. Harjani, B. López, Kishin B. Sadarangani. cma, 61(4):790-796, 2011. [doi]

Contract signature in e-commerceLein Harn, Chu-Hsing Lin. cee, 37(2):169-173, 2011. [doi]

Pareto analysis of supply chain contracts under satisficing objectivesXiuli He, Moutaz Khouja. eor, 214(1):53-66, 2011. [doi]

Contracting chordal graphs and bipartite graphs to paths and treesPinar Heggernes, Pim van t Hof, Benjamin Lévêque, Christophe Paul. endm, 37:87-92, 2011. [doi]

Application of contract-based security assertion monitoring framework for telecommunications software engineeringAlexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl. mcm, 53(3-4):522-537, 2011. [doi]

Contract-based synchronization of IP telecommunication services: a case studyYi Huang, Laura K. Dillon, R. E. Kurt Stirewalt. comsware 2011: 5 [doi]

Contracts Negotiation in Market Environments Taking into Consideration the Strength of Each Economic PlayerLukasz Jankowski, Jaroslaw Kozlak, Malgorzata Zabinska. paams 2011: 299-308 [doi]

Integrated capacity and marketing incentive contracting for capital-intensive service systemsYabing Jiang, Abraham Seidmann. dss, 51(3):627-637, 2011. [doi]

Evaluating the impact of planning long-term contracts on the management of a hybrid IT infrastructurePaulo Ditarso Maciel Jr., Francisco Vilar Brasileiro, Raquel Vigolvino Lopes, Marcus Carvalho, Miranda Mowbray. im 2011: 89-96 [doi]

A general iterative scheme for k-strictly pseudo-contractive mappings and optimization problemsJong Soo Jung. amc, 217(12):5581-5588, 2011. [doi]

Contract Complexity and Performance Under Asymmetric Demand Information: An Experimental EvaluationBasak Kalkanci, Kay-Yut Chen, Feryal Erhun. mansci, 57(4):689-704, 2011. [doi]

Contracting planar graphs to contractions of triangulationsMarcin Kaminski, Daniël Paulusma, Dimitrios M. Thilikos. jda, 9(3):299-306, 2011. [doi]

Thread contracts for safe parallelismRajesh K. Karmani, P. Madhusudan, Brandon M. Moore. ppopp 2011: 125-134 [doi]

An agent-based system for bilateral contracts of energyHamed Kebriaei, Ashkan Rahimi-Kian, Vahid Johari Majd. eswa, 38(9):11369-11376, 2011. [doi]

On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual ContractsTamim Ahmed Khan, Reiko Heckel. FASE 2011: 341-355 [doi]

On the role of revenue-sharing contracts in supply chainsHarish Krishnan, Ralph A. Winter. orl, 39(1):28-31, 2011. [doi]

Strategic capability investments and competition for supply contractsYing Li, Sudheer Gupta. eor, 214(2):273-283, 2011. [doi]

The optimal approach for parameter settings based on adjustable contracting capacity for the hospital supply chain logistics systemHung-Chang Liao, Hsu-Hwa Chang. eswa, 38(5):4790-4797, 2011. [doi]

Contracts for security adaptationJ. A. Martín, Ernesto Pimentel. jlp, 80(3-5):154-179, 2011. [doi]

Contracting preference relations for database applicationsDenis Mindolin, Jan Chomicki. ai, 175(7-8):1092-1121, 2011. [doi]

A study of repairable parts inventory system operating under performance-based contractH. Mirzahosseinian, R. Piplani. eor, 214(2):256-261, 2011. [doi]

Online advertisement service pricing and an option contractYongma Moon, Changhyun Kwon. ecra, 10(1):38-48, 2011. [doi]

Sourcing Flexibility, Spot Trading, and Procurement Contract StructurePamela Pen-Erh Pei, David Simchi-Levi, Tunay I. Tunca. ior, 59(3):578-601, 2011. [doi]

Higher Order Contractive Auto-EncoderSalah Rifai, Grégoire Mesnil, Pascal Vincent, Xavier Muller, Yoshua Bengio, Yann Dauphin, Xavier Glorot. pkdd 2011: 645-660 [doi]

SimCheck: a contract type system for SimulinkPritam Roy, Natarajan Shankar. isse, 7(2):73-83, 2011. [doi]

Agile Technical Management of Industrial Contracts: Scrum Development of Ground Segment Software at the European Space AgencyRui Santos, Felix Flentge, Marc-Elian Begin, Vicente Navarro. xpu 2011: 290-305 [doi]

Risk-Reward Sharing in IT Service Contracts - A Service System ViewGerhard Satzger, Axel Kieninger. hicss 2011: 1-8 [doi]

Ambient contracts: verifying and enforcing ambient object compositions à la carteChristophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D Hondt. puc, 15(4):341-351, 2011. [doi]

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:

A contract-based approach to adaptivityAndreas Schroeder, Sebastian S. Bauer, Martin Wirsing. jlp, 80(3-5):180-193, 2011. [doi]

Marketing-driven channel coordination with revenue-sharing contracts under price promotion to end-customersJiuh-Biing Sheu. eor, 214(2):246-255, 2011. [doi]

Contracts for Multi-instance UML ActivitiesVidar Slåtten, Peter Herrmann. forte 2011: 304-318 [doi]

Distributed Contract Negotiation System for Virtual OrganizationsMarcin Stelmach, Bartosz Kryza, Renata Slota, Jacek Kitowski. procedia, 4:2206-2215, 2011. [doi]

Contracting Efficiency and New Firm Survival in Markets Enabled by Information TechnologyAnjana Susarla, Anitesh Barua. isr, 22(2):306-324, 2011. [doi]

Contracted Webgraphs: Structure Mining and Scale-FreenessYushi Uno, Fumiya Oguri. AAIM 2011: 287-299 [doi]

A Federated Approach to Crossblogging through ContractsFelipe M. Villoria, Oscar Díaz. saint 2011: 91-99 [doi]

A general iterative method for obtaining an infinite family of strictly pseudo-contractive mappings in Hilbert spacesShuang Wang. appml, 24(6):901-907, 2011. [doi]

Inferring better contractsYi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer. ICSE 2011: 191-200 [doi]

The American law institute s principles on software contracts and their ramifications for software engineering research: NIER trackJames Williams, Jens H. Weber-Jahnke. ICSE 2011: 972-975 [doi]

Coordinating a two-stage supply chain via a markdown money and advertising subsidy contractTiaojun Xiao, Xinxin Yan. ijids, 3(2):107-127, 2011. [doi]

A composite contract based on buy back and quantity flexibility contractsHuachun Xiong, Bintong Chen, Jinxing Xie. eor, 210(3):559-567, 2011. [doi]

Fixed point theorem of generalized quasi-contractive mapping in cone metric spaceXian Zhang. cma, 62(4):1627-1633, 2011. [doi]

Framing contingencies in contractsXiaojian Zhao. mss, 61(1):31-40, 2011. [doi]

Coordination of Agri-Food Chain with Revenue-Sharing Contract under Stochastic Output and Stochastic DemandXia Zhao, Fangwei Wu. apjor, 28(4):487-510, 2011. [doi]

Research on Dynamic Rescheduling Program Base on Improved Contract Net ProtocolFuqing Zhao, Jizhe Wang, Jianxin Tang. jsw, 6(5):798-805, 2011. [doi]

A branch and contract algorithm for globally optimal fundamental matrix estimationYinqiang Zheng, Shigeki Sugimoto, Masatoshi Okutomi. cvpr 2011: 2953-2960 [doi]

2010

Fuzzy common fixed point theorems for generalized contractive mappingsM. Abbas, Bosko Damjanovic, Rade Lazovic. appml, 23(11):1326-1330, 2010. [doi]

Contract-Based Slicing Helps on Safety ReuseSergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto. IWPC 2010: 62-63 [doi]

Enabling expressive aspect oriented modular reasoning by translucid contractsMehdi Bagherzadeh. OOPSLA 2010: 227-228 [doi]

Component Contracts in Eclipse - A Case StudyJens Dietrich, Lucia Stewart. cbse 2010: 150-165 [doi]

A coordinating contract for transshipment in a two-company supply chainBehzad Hezarkhani, Wieslaw Kubiak. eor, 207(1):232-237, 2010. [doi]

Programming assistance based on contracts and modular verification in the automation domainDominik Hurnaus, Herbert Prähofer. SAC 2010: 2544-2551 [doi]

User resistance determinants and the psychological contract in enterprise system implementationsTim Klaus, J. Ellis Blanton. ejis, 19(6):625-636, 2010. [doi]

Bank Lending Contract Designed for Different Type BorrowersZhonghua Ma. wkdd 2010: 428-431 [doi]

Protocol contracts with application to choreographed multiparty collaborationsAshley T. McNeile. soca, 4(2):109-136, 2010. [doi]

Consignment contracting: Who should control inventory in the supply chain?Jun Ru, Yunzeng Wang. eor, 201(3):760-769, 2010. [doi]

A Method for Simultaneous Production and Order Planning in a Cooperative Supply Chain Relationship with Flexibility ContractsTobias Rust, Daniel BrÃ¼ggemann, Wilhelm Dangelmaier, Dominik Picker-Huchzermeyer. hicss 2010: 1-10 [doi]

Stateful Contracts for Affine TypesJesse A. Tov, Riccardo Pucella. ESOP 2010: 550-569 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: software contracts

Viewing Publication 1 - 100 from 1673

2012

2011

2010

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: software contracts

Viewing Publication 1 - 100 from 1673

2012

2011

2010

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1