|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 77 occurrences of 57 keywords
|
|
|
Results
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] |
|