|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 215 occurrences of 145 keywords
|
|
|
Results
Found 208 publication records. Showing 208 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 208 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|