Modeling time aspects of information systems
暂无分享,去创建一个
[1] Rudi Studer,et al. Modeling Static and Dynamic Aspects of Information Systems , 1985, DS-1.
[2] Giampio Bracchi,et al. The design requirements of office systems , 1984, TOIS.
[3] Henk Sol,et al. Information Systems Design Methodologies: A Comparative Review , 1983 .
[4] Eleanor Herasimchuk Wynn,et al. Office conversation as an information medium , 1979 .
[5] Giampio Bracchi,et al. SOS: A Conceptual Model for Office Information Systems , 1983, Databases for Business and Office Applications.
[6] Bernd Walter. Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics , 1983, Protocol Specification, Testing, and Verification.
[7] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.
[8] J. Barron,et al. Dialogue and process design for interactive information systems using Taxis , 1982, COCS.
[9] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[10] David Chenho Kung,et al. On Structural and Behavioral Modeling of Reality , 1985, DS-1.
[11] Gernot Richter. IML-Inscribed Nets for Modeling Text Processing and Data (Base) Management Systems , 1981, VLDB.
[12] Ulrich Schiel,et al. An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) , 1983, VLDB.