|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Denis Jouvin |
Continuations and Behavior Components Engineering in Multi-Agent Systems.  |
MATES  |
2006 |
DBLP DOI BibTeX RDF |
conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering |
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz |
A Uniform Framework for Modeling and Verifying Components and Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen |
Validating Behavioral Component Interfaces in Rewriting Logic. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Weimin Ma, Lawrence Chung, Kendra Cooper |
Verifying Behavioral Component Interoperability Using Positive/Negative Model Checking. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen |
Validating Behavioral Component Interfaces in Rewriting Logic. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro |
A scalable formal method for design and automatic checking of user interfaces. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
applications of model checking, Human-computer interaction (HCI), GUI design |
| 1 | Arnd Poetzsch-Heffter, Jan Schäfer |
Modular Specification of Encapsulated Object-Oriented Components. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")