Specification language (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Specification language" in English language version.

refsWebsite

Global rank English rank

2^nd place

low place

3^rd place

books.google.com (Global: 3^rd place; English: 3^rd place)

Linden, Theodore; Lawrence Markosian (1989). "Transformational Synthesis Using Refine". In Richer, Mark (ed.). AI Tools and Techniques. Ablex. pp. 261–286. ISBN 0-89391-494-0. Retrieved 6 July 2014.

Fuchs, Norbert E.; Schwertel, Uta; Schwitter, Rolf (1998). "Attempto Controlled English—not just another logic specification language" (PDF). International Workshop on Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 1559. Springer. pp. 1–20. doi:10.1007/3-540-48958-4_1. ISBN 978-3-540-65765-1.