|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Teodor Rus |
Parsing Languages by Pattern Matching. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
BNF-rule, program parsing, specification mechanism, algorithm, complexity, compiler, programming language, pattern matching, language, Algebraic model, program evaluation |
25 | Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota |
Encoding a process algebra using the Event B method. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|