|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 13 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
59 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Managing Complexity in Real-Time Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods |
26 | Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng |
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Specification-Based Testing for Real-Time Reactive Systems. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
complexity, information theory, software measurement, Real-time reactive systems |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|