|
|
Venues (Conferences, Journals, ...)
|
|
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 |
96 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
96 | Douglas R. Smith |
Software synthesis and applications (abstract only). |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Keith E. Williamson, Michael Healy, Richard A. Barker |
Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. |
Autom. Softw. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Jim McDonald |
Specware. |
ACM SIGSOFT Softw. Eng. Notes |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Keith E. Williamson, Michael Healy, Richard A. Barker |
Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. |
ICSR |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Richard Jüllig, Yellamraju V. Srinivas, J. Liu |
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Yellamraju V. Srinivas, Richard Jüllig |
Specware: Formal Support for Composing Software. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois |
Towards Interoperability in Component Based Development with a Family of DSLs. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory |
24 | Douglas R. Smith |
Generating Programs Plus Proofs by Refinement. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Richard Jüllig |
Formal Methods in Enterprise Computing. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Michael Healy, Keith E. Williamson |
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
24 | W. B. Martin, P. D. White, W. Mark Vanfleet |
Government, industry, and academia: Teaming to design high confidence information security applications. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
data isolation, formal specification, refinement, information flow, Separation kernel |
24 | Keith E. Williamson, Michael Healy |
Industrial Applications of Software Synthesis via Category Theory. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|