Search results for "TROM"

Searching for TROM with no syntactic query expansion in all metadata.

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: )

Maintained by L3S.

Previously maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.

data released under the ODC-BY 1.0 license