Search results for "Larch"

Found 120 publication records. Showing 117 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Boutheina Chetali, Barbara Heyd	Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.	TPHOLs	1997	DBLP DOI BibTeX RDF	theorem prover methodology, Larch Prover, Computer Checked Proof, Formal Verification, Unity, Coq
24	Barbara Liskov, Jeannette M. Wing	A Behavioral Notion of Subtyping.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	formal specifications, subtyping, Larch
24	David E. Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan	LCLint: A Tool for Using Specifications to Check Code.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	LCLint, lint, specifications, C, static checking, Larch
18	Jing Fan, Jiaohong Yu, Tian-yang Dong, Li-Rong Xiong	Modeling and simulation of the plant growth based on reciprocity.	VRCAI	2009	DBLP DOI BibTeX RDF	neighborhood interference index, plants' growth model, zone-of-influence, reciprocity
18	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
18	M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel	Integrated Notation for Software Architecture Specifications.	SCCC	2004	DBLP DOI BibTeX RDF	software architecture, Architecture definition languages
18	Vangalur S. Alagar, Ralf Lämmel	Three-Tiered Specification of Micro-architectures.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures
18	Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch	Mechanical Translation of I/O Automaton Specifications into First-Order Logic.	FORTE	2002	DBLP DOI BibTeX RDF
18	Chia-Chu Chiang, Joseph E. Urban	Validating Software Specifications against User Claims.	COMPSAC	1999	DBLP DOI BibTeX RDF
18	Ali Hamie, John Howse, Stuart Kent 0001	Navigation Expresion in Object-Oriented Modelling.	FASE	1998	DBLP DOI BibTeX RDF
18	Amy Moormann Zaremski, Jeannette M. Wing	Specification Matching of Software Components.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
18	Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand	Algebra and Automated Deduction.	CADE	1996	DBLP DOI BibTeX RDF
18	Hubert Baumeister	Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.	TAPSOFT	1995	DBLP DOI BibTeX RDF
18	Wolfgang Gehrke	Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.	RTA	1995	DBLP DOI BibTeX RDF
18	Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants	Computer-Assisted Simulation Proofs.	CAV	1993	DBLP DOI BibTeX RDF
18	Urban Engberg, Peter Grønning, Leslie Lamport	Mechanical Verification of Concurrent Systems with TLA.	CAV	1992	DBLP DOI BibTeX RDF
18	Mario Barbacci, Jeannette M. Wing	Specifying Functional and Timing Behavior for Real-Time Applications.	PARLE (2)	1987	DBLP DOI BibTeX RDF

Displaying result #101 - #117 of 117 (100 per page; Change: )
Pages: [<<][1][2]