-
1
-
-
0022135024
-
Automating the Transformational Development of Software
-
S.F. Fickas, "Automating the Transformational Development of Software," IEEE Trans. Software Engineering, Vol. 11, No. 11, 1985, pp. 1268-1277.
-
(1985)
IEEE Trans. Software Engineering
, vol.11
, Issue.11
, pp. 1268-1277
-
-
Fickas, S.F.1
-
2
-
-
0025536477
-
Model-Based Automatic Programming for Plant Control
-
IEEE Computer Society Press, Los Alamitos, Calif.
-
Y. Nakayama et al., "Model-Based Automatic Programming for Plant Control," IEEE Proc. Sixth Conf. Artificial Intelligence Applications, IEEE Computer Society Press, Los Alamitos, Calif., Vol. I, 1990, pp. 281-287.
-
(1990)
IEEE Proc. Sixth Conf. Artificial Intelligence Applications
, vol.1
, pp. 281-287
-
-
Nakayama, Y.1
-
3
-
-
84947664665
-
Lockheed Environment for Automatic Programming
-
Dec.
-
H. Graves, "Lockheed Environment for Automatic Programming," IEEE Expert, Vol. 7, No. 6, Dec. 1992, pp. 15-25.
-
(1992)
IEEE Expert
, vol.7
, Issue.6
, pp. 15-25
-
-
Graves, H.1
-
4
-
-
3743121884
-
Using Functional Maintenance to Improve Fault Tolerance
-
June
-
Y. Umeda et al., "Using Functional Maintenance to Improve Fault Tolerance," IEEE Rupert, Vol. 2, No. 3, June 1994, pp. 25-31.
-
(1994)
IEEE Rupert
, vol.2
, Issue.3
, pp. 25-31
-
-
Umeda, Y.1
-
5
-
-
0021613150
-
Qualitative Process Theory
-
Dec.
-
K. Forbus, "Qualitative Process Theory," Artificial Intelligence, Vol. 24, No. 3, Dec. 1984, pp. 85-168.
-
(1984)
Artificial Intelligence
, vol.24
, Issue.3
, pp. 85-168
-
-
Forbus, K.1
-
6
-
-
0026397512
-
The Use of Qualitative Physics for Integrated Design Object Modeling
-
American Soc. of Mechanical Engineers, New York
-
T. Kiriyama, T. Tomiyama, and H. Yoshikawa, "The Use of Qualitative Physics for Integrated Design Object Modeling," Proc. Design Theory and Methodology, American Soc. of Mechanical Engineers, New York, 1991, pp. 53-60.
-
(1991)
Proc. Design Theory and Methodology
, pp. 53-60
-
-
Kiriyama, T.1
Tomiyama, T.2
Yoshikawa, H.3
-
7
-
-
0027961120
-
A Synthetic Reasoning Method for Conceptual Design
-
M.J. Wozny and G. Olling, eds., North-Holland, Amsterdam
-
M. Ishii, T. Tomiyama, and H. Yoshikawa, "A Synthetic Reasoning Method for Conceptual Design," in Towards World Class Manufacturing 1993, M.J. Wozny and G. Olling, eds., North-Holland, Amsterdam, 1993, pp. 3-16.
-
(1993)
Towards World Class Manufacturing 1993
, pp. 3-16
-
-
Ishii, M.1
Tomiyama, T.2
Yoshikawa, H.3
-
8
-
-
85167866960
-
Qualitative Kinematics in Mechanisms
-
IJCAI Inc., Somerset, N.J.
-
B. Faltings, "Qualitative Kinematics in Mechanisms," Proc. 10th Int'l Joint Conf. Artificial Intelligence, IJCAI Inc., Somerset, N.J., 1987, pp. 436-442.
-
(1987)
Proc. 10th Int'l Joint Conf. Artificial Intelligence
, pp. 436-442
-
-
Faltings, B.1
-
9
-
-
0026242552
-
Computational Kinematics
-
Oct.
-
L. Joskowicz and E. Sacks, "Computational Kinematics," Artificial Intelligence, Vol. 51, Nos. 1-3, Oct. 1991, pp. 381-416.
-
(1991)
Artificial Intelligence
, vol.51
, Issue.1-3
, pp. 381-416
-
-
Joskowicz, L.1
Sacks, E.2
-
10
-
-
3743068441
-
The Post-Mass Production Paradigm, Knowledge Intensive Engineering, and Soft Machines
-
F-L. Krause and H. Jansen, eds., Chapman and Hall, London
-
T. Tomiyama et al., "The Post-Mass Production Paradigm, Knowledge Intensive Engineering, and Soft Machines," in Life Cycle Modelling for Innovative Products and Processes, F-L. Krause and H. Jansen, eds., Chapman and Hall, London, 1995, pp. 369-380.
-
(1995)
Life Cycle Modelling for Innovative Products and Processes
, pp. 369-380
-
-
Tomiyama, T.1
|