Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Takeshige Miyoshi, Motoei Azuma |
An Empirical Study of Evaluating Software Development Environment Quality. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification |
15 | Peep Küngas |
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #2 of 2 (100 per page; Change: )
|