|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
190 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 124-139, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation |
131 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
Formal Specification of Mixed Components with Korrigan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 169-176, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
mixed specification, Korrigan specification languag, Formal specification, components, reuse |
77 | Pascal Poizat |
KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
39 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
The Korrigan Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 7(1), pp. 19-36, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|