|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 20 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 152 | Stanley Lee, Suzanne Sluizer |
An Executable Language For Modeling Simple Behavior.  |
IEEE Trans. Software Eng.  |
1991 |
DBLP DOI BibTeX RDF |
state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description |
| 63 | Yu Wang |
A Distributed Specification Model and Its Prototyping. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions |
| 46 | Konstantin Klemmer, Daniel B. Neill |
SXL: Spatially explicit learning of geographic processes with auxiliary tasks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license