Implementing direct manipulation query languages using an adequate data model
暂无分享,去创建一个
[1] Dines Bjørner,et al. The VDM Principles of Software Specification and Program Design , 1981, ICFPC.
[2] P Pistor,et al. A database language for sets, lists and tables , 1986, Inf. Syst..
[3] Peter Pistor,et al. Designing A Generalized NF2 Model with an SQL-Type Language Interface , 1986, VLDB.
[4] Christopher F. Herot. Graphical user interfaces , 1984 .
[5] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .
[6] Dines Bjørner,et al. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 , 1987 .
[7] E. F. Codd,et al. A relational model of data for large shared data banks , 1970, CACM.
[8] Gabriele Rohr,et al. WHICH TASK IN WHICH REPRESENTATION ON WHAT KIND OF INTERFACE , 1987 .
[9] Cliff B. Jones,et al. Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.
[10] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[11] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[12] Gabriele Rohr. Graphical user languages for querying information: where to look for criteria? , 1988, [Proceedings] 1988 IEEE Workshop on Visual Languages.
[13] Harry K. T. Wong,et al. GUIDE: Graphical User Interface for Database Exploration , 1982, VLDB.
[14] Jürgen Ebert,et al. Constructive Formal Specifications for Rapid Prototyping , 1987 .
[15] Cliff B. Jones. Towards More Formal Specifictations , 1980, Software Engineering.
[16] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.
[17] Mark Green,et al. Report on Dialogue Specification Tools , 1984, Comput. Graph. Forum.
[18] Dines Bjørner,et al. Formal specification and software development , 1982 .
[19] Peter Dadam,et al. A DBMS prototype to support extended NF2 relations: an integrated view on flat tables and hierarchies , 1986, SIGMOD '86.
[20] Abraham Silberschatz,et al. PICASSO: A graphical query language , 1988, Softw. Pract. Exp..
[21] Christopher F. Herot. Spatial Management Of Data , 1979, Fifth International Conference on Very Large Data Bases, 1979..
[22] Ernest Edmonds,et al. The man—computer interface: a note on concepts and design , 1982 .