|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein |
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
56 | Sjouke Mauw, Freek Wiedijk |
Specification of the Transit Node in PSFd. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
42 | Eric Dubois 0001, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut, Fiona Williams |
The ERAE Model: A Case Study. |
Information Systems Design Methodologies: Improving the Practice |
1986 |
DBLP BibTeX RDF |
|
36 | Roberto Maiocchi, Barbara Pernici |
Temporal Data Management Systems: A Comparative View. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
temporal data management, interval-based logic, time map management, TSOS, TQuel, ERAE, software engineering, software engineering, databases, artificial intelligence, temporal logic, knowledge based systems, database management systems, knowledge bases, event calculus |
28 | Jacques Hagelstein, Frank Ponsaert |
Introducing Formal Requirements into Industry. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|