|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
Results
Found 6 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
51 | Dirk Bartz, Dirk Staneker, Wolfgang Straßer, Brian Cripe, Tom Gaskins, Kristann Orton, Michael B. Carter, Andreas Johannsen, Jeff Trom |
Jupiter: a toolkit for interactive large model visualization. |
IEEE Symposium on Parallel and Large-Data Visualization and Graphics |
2001 |
DBLP BibTeX RDF |
Large Model Visualization, Visibility, Toolkit, occlusion culling |
42 | David N. Blank-Edelman |
Practical Perl Tools: "Mala trom pee chock makacheesa.". |
login Usenix Mag. |
2012 |
DBLP BibTeX RDF |
|
42 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
TROM - An Object Model for Reactive System Development. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Vangalur S. Alagar, Mao Zheng |
A Rigorous Method for Testing Real-Time Reactive Systems. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|