Search results for "java modeling language (JML)"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ghaith Haddad, Faraz Hussain, Gary T. Leavens	The design of SafeJML, a specification language for SCJ with support for WCET specification.	JTRES	2010	DBLP DOI BibTeX RDF	SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration
2	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
2	Ali Hamie	On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML).	PDCAT	2006	DBLP DOI BibTeX RDF
2	Bart Jacobs, Erik Poll	A Logic for the Java Modeling Language JML.	FASE	2001	DBLP DOI BibTeX RDF
1	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
1	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
1	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Concurrent Contracts for Java in JML.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Patrice Chalin, Frédéric Rioux	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.	FM	2008	DBLP DOI BibTeX RDF
1	Patrice Chalin, Perry R. James, George Karabotsos	JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
1	Patrice Chalin, Perry R. James, George Karabotsos	An integrated verification environment for JML: architecture and early results.	SAVCBS	2007	DBLP DOI BibTeX RDF	JML4, integrated verification environment, Eclipse, java modeling language
1	Patrice Chalin, Perry R. James	Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.	ECOOP	2007	DBLP DOI BibTeX RDF
1	Yoonsik Cheon, Ashaveena Perumandla	Specifying and checking method call sequences of Java programs.	Software Quality Journal	2007	DBLP DOI BibTeX RDF	Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language
1	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	2006	DBLP DOI BibTeX RDF
1	Patrice Chalin, Frédéric Rioux	Non-null references by default in the Java modeling language.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	non-null references, reference types, contracts, JML, java modeling language
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	Automated Boundary Test Generation from JML Specifications.	FM	2006	DBLP DOI BibTeX RDF	boundary values, Test generation, automated, model-based, Java Modeling Language
1	Ben Krause, Tim Wahls	jmle: A Tool for Executing JML Specifications Via Constraint Programming.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Gary T. Leavens	JML's Rich, Inherited Specifications for Behavioral Subtypes.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking JML specifications using an extensible software model checking framework.	STTT	2006	DBLP DOI BibTeX RDF
1	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
1	Marc Lohmann, Stefan Sauer, Gregor Engels	Executable Visual Contracts.	VL/HCC	2005	DBLP DOI BibTeX RDF
1	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting	Symbolic Animation of JML Specifications.	FM	2005	DBLP DOI BibTeX RDF
1	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
1	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	Checking JML Specifications with B Machines.	ZB	2005	DBLP DOI BibTeX RDF	object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language
1	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.	STTT	2005	DBLP DOI BibTeX RDF	Assertion checking, Java, Formal specification, Program verification, Design by Contract
1	David R. Cok, Joseph Kiniry	ESC/Java2: Uniting ESC/Java and JML.	CASSIS	2004	DBLP DOI BibTeX RDF
1	Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby	A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.	CASSIS	2004	DBLP DOI BibTeX RDF
1	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking Strong Specifications Using an Extensible Software Model Checking Framework.	TACAS	2004	DBLP DOI BibTeX RDF
1	Engelbert Hubbers	Integrating Tools for Automatic Program Verification.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Jianjun Zhao, Martin C. Rinard	Pipa: A Behavioral Interface Specification Language for AspectJ.	FASE	2003	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Darko Marinov, Daniel Jackson	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
1	Kerry Trentelman, Marieke Huisman	Extending JML Specifications with Temporal Logic.	AMAST	2002	DBLP DOI BibTeX RDF
1	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP BibTeX RDF
1	Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok	How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.	FMCO	2002	DBLP DOI BibTeX RDF
1	Marieke Huisman	Verification of Java's AbstractCollection Class: A Case Study.	MPC	2002	DBLP DOI BibTeX RDF