Search results for "FRORL"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
214	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
59	Jeffrey J. P. Tsai, Ray-Yuan Sheu	A knowledge-based system for Ada® software development.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	knowledge-based software development, requirement specification language, Ada, object-oriented modeling
37	Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair	Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach.	Int. J. Softw. Eng. Knowl. Eng.	1994	DBLP DOI BibTeX RDF
37	Jeffrey J. P. Tsai, Bing Li, Alan Liu	Modeling and parallel evaluation of non-functional requirements using FRORL requirements language.	COMPSAC	1994	DBLP DOI BibTeX RDF
37	Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair	Debugging Logic-Based Requirements Specifications - a FRORL Approach.	SEKE	1993	DBLP BibTeX RDF
37	Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger	RT-FRORL: a formal requirements specification language for specifying real-time systems.	COMPSAC	1991	DBLP DOI BibTeX RDF
37	Jeffrey J. P. Tsai, Mikio Aoyama, Y. L. Chang	Rapid prototyping using FRORL language.	COMPSAC	1988	DBLP DOI BibTeX RDF

Displaying result #1 - #7 of 7 (100 per page; Change: )