researchr - search publication software contracts

researchr

You are not signed in
Sign in
Sign up

222 publication results matching 'software contracts'

Principles of the law of software contractsRobert A. Hillman, Maureen A. O Rourke. CACM, 53(9):26-28, 2010. [doi]
Mining Software Contracts for Software EvolutionYan Yan, Massimiliano Menarini, William G. Griswold. ICSM 2014: 471-475 [doi]
Behavioral software contractsRobby Findler. ICFP 2014: 137-138 [doi]
Effectful Software ContractsCameron Moy, Christos Dimoulas, Matthias Felleisen. PACMPL, 8(POPL):2639-2666, January 2024. [doi]
Extending a Method of Devising Software ContractsRichard Mitchell, James McKim. TOOLS 1999: 234 [doi]
Puzzles in software development contractingYossi Lichtenstein. CACM, 47(2):61-65, 2004. [doi]
Software contracts and the acceptance testing procedureRuth Atkins. clsr, 21(1):51-55, 2005. [doi]
Typed Software Contracts with Intersection and NondeterminismYuki Nishida 0001. PhD thesis, Kyoto University, Japan, 2020. [doi]
Automated Synthesis of Software Contracts with KindSpecMaría Alpuente, Alicia Villanueva. BIRTHDAY 2023: 51-71 [doi]
Software Contracting: A Process Model ApproachAri Heiskanen, Michael Newman, Jouni Similae. icis 1996: 3 [doi]
Hardware-Software Contracts for Secure SpeculationMarco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila. sp 2021: 1868-1883 [doi]
Axiomatic hardware-software contracts for securityNicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel. isca 2022: 72-86 [doi]
Typed Contracts for Functional Programming
… A robust software component fulfills a contract: it expects data satisfying …. The object-oriented community uses the design-by-contract approach extensively. Proposals for language extensions that add contracts to higher-order functional …
Ralf Hinze, Johan Jeuring, Andres Löh. FLOPS 2006: 208-225 [doi]
Process View on the Software Contracting In the Internet BusinessJuhani Warsta, Veikko Seppänen. euromicro 2000: 2240-2245 [doi]
Discern: Towards the Automatic Discovery of Software ContractsYishai A. Feldman, Leon Gendler. SEFM 2006: 90-99 [doi]
Specification and Checking of Software Contracts for Conditional Information FlowTorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. FM 2008: 229-245 [doi]
Software Development ContractsClaudia Pons, Gabriel Baum. CSMR 2001: 13-20
Software change contractsDawei Qi, Jooyong Yi, Abhik Roychoudhury. FSE 2012: 22 [doi]
Software Change ContractsJooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury. TOSEM, 24(3):18, 2015. [doi]
Renegotiation of Software Outsourcing ContractsHe Huang 0004, Minhui Hu, Robert J. Kauffman, Hongyan Xu. hicss 2018: 1-7 [doi]

Sign in or sign up to see more results.

runs on WebDSL