Search results for "design-by-contract"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Yogesh Singh, Anju Saha	Enhancing Data Flow Testing of Classes through Design by Contract.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	design by contract, object oriented testing, data flow testing
59	Murat Karaorman, Parker Abercrombie	jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	jContractor, Java, Design by Contract, bytecode instrumentation
59	Robert Hirschfeld, Michael Perscheid, Christian Schubert, Malte Appeltauer	Dynamic contract layers.	SAC	2010	DBLP DOI BibTeX RDF	dynamic contract layers, design by contract, software composition, context-oriented programming
57	Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz	Refactoring with Contracts.	AGILE	2006	DBLP DOI BibTeX RDF
49	Murat Karaorman, Urs Hölzle, John L. Bruno	jContractor: A Reflective Java Library to Support Design by Contract.	Reflection	1999	DBLP DOI BibTeX RDF
46	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
46	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
44	Karine Arnout, Raphael Simon	The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
44	Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego	Constraint satisfaction techniques for diagnosing errors in design by contract software.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	Diagnosis, Design by Contract
43	Judy Tantivongsathaporn, Daniel Stearns	An Experience With Design by Contract.	APSEC	2006	DBLP DOI BibTeX RDF
43	Pedro Guerreiro	Simple Support for Design by Contract in C++.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
40	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
39	Reinhold Plösch, Josef Pichler	Contracts: From Analysis to C++ Implementation.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	assertions, Design by Contract
37	Christophe Garion, Leendert W. N. van der Torre	Design by Contract Deontic Design Language for Multiagent Systems.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
37	Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz	Jose: Aspects for Design by Contract80-89.	SEFM	2006	DBLP DOI BibTeX RDF
33	Patrice Chalin	Are Practitioners Writing Contracts?	RODIN Book	2006	DBLP DOI BibTeX RDF	program assertions, empirical study, design by contract, Eiffel
32	Sea Ling, Heinz W. Schmidt, Rohan Fletcher	Constructing Interoperable Components in Distributed Systems.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	distributed systems, Components, design-by-contract
31	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
29	Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte	Event-Based Input Validation Using Design-by-Contract Patterns.	ISSRE	2009	DBLP DOI BibTeX RDF	Boundary Overflow, Decision Tables, Design by Contract, Security Testing, Event Sequence Graphs, Input Validation
29	David Maley, Ivor T. A. Spence	Emulating Design by Contract in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	C++, Design by Contract, Computational Physics, Standard Template Library
29	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
28	Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel	Design by Contract to Improve Software Vigilance.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	programming by contract, metrics, diagnostics, Object-oriented design methods
28	René Santaolaya Salgado, Liliana Badillo-Sánchez, Olivia Graciela Fragoso Diaz	Process for Contract Extraction.	ICSEA	2008	DBLP DOI BibTeX RDF
28	Ralf Hinze, Johan Jeuring, Andres Löh	Typed Contracts for Functional Programming.	FLOPS	2006	DBLP DOI BibTeX RDF
28	Ralph-Johan Back, Piia Hirkman, Luka Milovanov	Evaluating the XP Customer Model and Design by Contract.	EUROMICRO	2004	DBLP DOI BibTeX RDF
28	Donald Firesmith	A Comparison of Defensive Development and Design by Contract.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
27	Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh	ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java.	APSEC	2007	DBLP DOI BibTeX RDF
27	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
25	Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau	Contract-based design patterns: a design by contract approach to specify security patterns.	ARES	2020	DBLP DOI BibTeX RDF
25	Andreas Rausch	"Design by Contract" + "Componentware" = "Design by Signed Contract".	J. Object Technol.	2002	DBLP DOI BibTeX RDF
24	Clément Hurlin	Specifying and checking protocols of multithreaded classes.	SAC	2009	DBLP DOI BibTeX RDF	protocols, object-orientation, multithreading, design by contract
24	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
24	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
24	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
24	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
24	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)
23	Yishai A. Feldman	Teaching quality object-oriented programming.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	Software quality
23	Miguel Oliveira e Silva, Pedro G. Francisco	Contract-Java: Design by Contract in Java with Safe Error Handling.	SLATE	2014	DBLP DOI BibTeX RDF
22	Reinhold Plösch	Design by Contract for Python.	APSEC	1997	DBLP DOI BibTeX RDF
22	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
22	Sven Overhage	UnSCom: A Standardized Framework for the Specification of Software Components.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
22	Karine Arnout, Bertrand Meyer 0001	Uncovering Hidden Contracts: The .NET Example.	Computer	2003	DBLP DOI BibTeX RDF
21	Dehui Du, Jing Liu 0012, Honghua Cao	A Rigorous Model of Contract-Based Service Component Architecture.	CSSE (2)	2008	DBLP DOI BibTeX RDF
21	Ehud Lamm	Adding Design by Contract to the Ada Language.	Ada-Europe	2002	DBLP DOI BibTeX RDF
20	Yishai A. Feldman	Extreme Design by Contract.	XP	2003	DBLP DOI BibTeX RDF
20	Sea Ling, Iman Poernomo, Heinz W. Schmidt	Describing Web Service Architectures through Design-by-Contract.	ISCIS	2003	DBLP DOI BibTeX RDF
17	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
17	Daniel M. Zimmerman, Joseph R. Kiniry	A Verification-Centric Software Development Process for Java.	QSIC	2009	DBLP DOI BibTeX RDF	Business Object Notation, Java, formal methods, software verification, Design by Contract, software engineering process, Java Modeling Language
17	Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
17	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
17	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
17	Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares	A JML Compiler Based on AspectJ.	ICST	2008	DBLP DOI BibTeX RDF	JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language
17	Rebecca Wirfs-Brock	Driven to ... Discovering Your Design Values.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	behavior driven design, software development, Design by Contract, model driven design, test driven design, domain driven design, responsibility driven design
17	Patrice Chalin	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
17	Will Archer, Philip Alexander Levis, John Regehr	Interface contracts for TinyOS.	IPSN	2007	DBLP DOI BibTeX RDF	sensor networks, validation, automated testing, TinyOS, design by contract
17	Holger Giese, Alexander Vilbig	Separation of non-orthogonal concerns in software architecture and design.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Software architecture, Consistency, Separation of concern, Design by contract, Behavior synthesis
17	Michael E. Caspersen, Michael Kölling	A novice's process of object-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	programming process, representation invariant, UML, testing, pedagogy, refactoring, CS1, design by contract, objects-first, incremental development, programming education, stepwise refinement, top-down design, systematic programming
17	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
17	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll	An overview of JML tools and applications.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Assertion checking, Java, Formal specification, Program verification, Design by Contract
17	Egon Teiniker, Robert Lechner, Gernot Schmoelzer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss	Towards a Contract Aware CORBA Component Container.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	OCL, Design by Contract, CCM
17	Michael Rosen	An overview of model driven architecture (MDA®) - invited talk abstract.	WOSP	2005	DBLP DOI BibTeX RDF	Model-Driven Architecture®, design by contract™, product line practices, CMI, JMI, MDA®, MOF™, UML®, XMI®, modeling, models, SOA, metadata, design pattern, code generation, domain-specific language, business process management, enterprise architecture, component-based development, UML profile
17	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
17	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
17	Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide	Experience report: using RESOLVE/C++ for commercial software.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	design discipline, generic, software reuse, template, component-based software engineering, design-by-contract, swapping
17	Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel	Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	testing, design-for-testability, self-test, design by contract, reusable components
17	Ian Maung, John Howse, Richard J. Mitchell	Towards a Formalization of Programming-by-Difference.	FME	1994	DBLP DOI BibTeX RDF	contravariance, inheritance, subtype, design-by-contract, incremental programming
15	Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche	Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
15	Nele Smeets, Eric Steegmans	A Methodology for Writing Class Contracts.	SOFSEM	2005	DBLP DOI BibTeX RDF
15	Thomas Wilson, Savi Maharaj, Robert G. Clark	Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.	SEFM	2005	DBLP DOI BibTeX RDF
15	Benoit Baudry, Vu Le Hanh, Yves Le Traon	Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
15	Mert Ozkaya, Christos Kloukinas	Towards Design-by-Contract based software architecture design.	SoMeT	2013	DBLP DOI BibTeX RDF
15	Diana Berberova, Boyan Bontchev	Usage of Design by Contract - From Component-based Engineering to SOA Design.	ICSOFT (1)	2009	DBLP BibTeX RDF
15	Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
15	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Concurrent Contracts for Java in JML.	ISSRE	2008	DBLP DOI BibTeX RDF
15	Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen	A Framework for Contract-Based Collaborative Verification and Validation of Web Services.	CBSE	2007	DBLP DOI BibTeX RDF	Contract-Based, Web Services, Verification and Validation
15	Bertrand Meyer 0001	Contract-Driven Development.	FASE	2007	DBLP DOI BibTeX RDF
15	Marc Lohmann, Gregor Engels, Stefan Sauer 0001	Model-driven Monitoring: Generating Assertions from Visual Contracts.	ASE	2006	DBLP DOI BibTeX RDF
15	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
15	Marc Lohmann, Stefan Sauer 0001, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
15	Manfred Broy	A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
15	Florence Maraninchi, Lionel Morel	Logical-Time Contracts for Reactive Embedded Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF
15	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
15	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
15	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP BibTeX RDF	CORBA
13	Masaomi Yamaguchi, Nobukazu Yoshioka	Design by Contract Framework for Quantum Software.	CoRR	2023	DBLP DOI BibTeX RDF
13	Anh Duc Vu 0001, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske	Design by Contract Revisited in the Context of Scientific Data Analysis Workflows.	e-Science	2023	DBLP DOI BibTeX RDF
13	Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan	Design by Contract for Deep Learning APIs.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
13	Masaomi Yamaguchi, Nobukazu Yoshioka	Design by Contract Framework for Quantum Software.	Q-SE@ICSE	2023	DBLP DOI BibTeX RDF
13	Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida	Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
13	Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida	Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.	CoRR	2022	DBLP DOI BibTeX RDF
13	Marieke Huisman, Raúl E. Monti	Teaching Design by Contract Using Snap!	The Logic of Software. A Tasting Menu of Formal Methods	2022	DBLP DOI BibTeX RDF
13	Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida	Design-By-Contract for Flexible Multiparty Session Protocols.	ECOOP	2022	DBLP DOI BibTeX RDF
13	Marieke Huisman, Raúl E. Monti	Teaching Design by Contract using Snap!	CoRR	2021	DBLP BibTeX RDF
13	Marieke Huisman, Raúl E. Monti	Teaching Design by Contract using Snap!	SEENG@ICSE	2021	DBLP DOI BibTeX RDF
13	Wenhui Liang, Cui Zhang, Jun Dai	Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic.	NCS	2021	DBLP DOI BibTeX RDF
13	Koji Ishii, Shin-ya Nishizaki	Static Code Analysis Using Refinement Types based on Design by Contract.	ICSCA	2020	DBLP DOI BibTeX RDF
13	Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth	Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.	ECSEE	2020	DBLP DOI BibTeX RDF
13	George Fairbanks	Better Code Reviews With Design by Contract.	IEEE Softw.	2019	DBLP DOI BibTeX RDF
13	Andrea Tundis, Max Mühlhäuser	Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain.	Int. J. Simul. Process. Model.	2019	DBLP DOI BibTeX RDF
13	Mert Ozkaya	Teaching Design-by-Contract for the Modeling and Implementation of Software Systems.	ICSOFT	2019	DBLP DOI BibTeX RDF