A requirements sublanguage for automated analysis-Reference-Cited by-同舟云学术

A requirements sublanguage for automated analysis

Published:1995 Issue:7 Volume:10 Page:665-689
ISSN:0884-8173
Container-title:International Journal of Intelligent Systems
language:en
Short-container-title:Int. J. Intell. Syst.

Author:

Cyre Walling

Publisher

Wiley

Subject

Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software

Reference27 articles.

1. “Textual/graphical design capture for concept-level synthesis,” Proc. IFIP Conf. on Hardware Description Languages (CHDL'93), Ottawa, Canada, Apr. 26-28, 1993.

2. “Integrating specification requirements for automated interpretation,” Proc. Second International IEEE Rapid Prototyping Workshop, Research Triangle Park, NC, June 11-13, 1991.

3. and , A Design Representation Model for High-Level Synthesis, Technical Report 90-27, Information and Computer Science, U. C., Irvine, CA, Sept. 1990.

4. and , “A unified representation for design information,” Proc. Int'l Conf. Computer Hardware Description Languages and Their Applications, Tokyo, Japan, Aug., 1985, pp. 29–31.

5. IEEE Standard VHDL Reference Manual, IEEE, New York, 1988.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Natural Language Processing;International Journal of Systems and Service-Oriented Engineering;2014-01

2. Declarative programs with implicit implication;IEEE Transactions on Knowledge and Data Engineering;2002-07

3. CM-Builder: an automated NL-based CASE tool;Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering;2000

4. Executing conceptual graphs;Conceptual Structures: Theory, Tools and Applications;1998

5. Generating validation feedback for automatic interpretation of informal requirements;Formal Methods in System Design;1997