Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Specware with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2008 (13)
Publication types (Num. hits)
article(2) inproceedings(11)
Venues (Conferences, Journals, ...)
AMAST(2) FMSP(2) 10th Anniversary Colloquium of...(1) ACM SIGSOFT Softw. Eng. Notes(1) ASE(1) Autom. Softw. Eng.(1) ECSA(1) ICFEM(1) ICSR(1) MPC(1) VSTTE(1)
Authors
Keith E. Williamson(4) Michael Healy(4) Douglas R. Smith(3) Richard Jüllig(3) Richard A. Barker(2) Yellamraju V. Srinivas(2) Ali Abou Dib(1) Christian Percebois(1) Dusko Pavlovic(1) Ileana Ober(1) J. Liu(1) Jim McDonald(1) Louis Féraud(1) P. D. White(1) W. B. Martin(1) W. Mark Vanfleet(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
96Dusko Pavlovic, Douglas R. Smith Software Development by Refinement. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
96Douglas R. Smith Software synthesis and applications (abstract only). Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Keith E. Williamson, Michael Healy, Richard A. Barker Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Jim McDonald Specware. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Keith E. Williamson, Michael Healy, Richard A. Barker Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. Search on Bibsonomy ICSR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Richard Jüllig, Yellamraju V. Srinivas, J. Liu SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Yellamraju V. Srinivas, Richard Jüllig Specware: Formal Support for Composing Software. Search on Bibsonomy MPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois Towards Interoperability in Component Based Development with a Family of DSLs. Search on Bibsonomy ECSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory
24Douglas R. Smith Generating Programs Plus Proofs by Refinement. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Richard Jüllig Formal Methods in Enterprise Computing. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Michael Healy, Keith E. Williamson Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24W. B. Martin, P. D. White, W. Mark Vanfleet Government, industry, and academia: Teaming to design high confidence information security applications. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF data isolation, formal specification, refinement, information flow, Separation kernel
24Keith E. Williamson, Michael Healy Industrial Applications of Software Synthesis via Category Theory. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license