|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Douglas R. Smith |
Software synthesis and applications (abstract only). |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold |
Planware - Domain-Specific Synthesis of High-Performance Schedulers. |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Laurianne McLaughlin |
Automated programming the next wave of developer power tools. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
automated programming, Metafor, SequenceL, Planware, high-assurance software, software development, model-driven architecture, model driven development |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|