|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 33 | Francisco Azevedo |
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.  |
Constraints An Int. J.  |
2007 |
DBLP DOI BibTeX RDF |
PI, Primary input, TG, Test generation, Constraint logic programming, CLP |
| 31 | Ana Belén Barragáns-Martínez, José Juan Pazos-Arias |
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
Requirements Refinement, Unspecification, Specification Evolution, Multi-Perspective Environment, Viewpoints, Inconsistency |
| 31 | José Juan Pazos-Arias, Jorge García Duque |
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. |
Formal Aspects Comput. |
2001 |
DBLP DOI BibTeX RDF |
Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements |
| 31 | José I. Acha, José L. Huertas |
On Input and Next-State Equations of the R-S Type M-Stable. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Input equations, multistable circuits, next-state equation, partial unspecification, logic design, many-valued logic |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license