|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marc Frappier, Régine Laleau |
Proving Event Ordering Properties for Information Systems. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
E3, trace-based specifications, refinement, process algebra, B |
1 | Liz Fraley |
Beyond theory: making single-sourcing actually work. |
SIGDOC |
2003 |
DBLP DOI BibTeX RDF |
Arbortext, E3, FrameMaker, Interwoven, Juniper Networks, TeamSite, WebWorks, modular writing, Java, XML, case study, documentation, XSLT, commit, publishing, chunking, branching, single source, single-sourcing, Epic |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|