Boots – shoes – and leggings
Patent
1988-01-21
1992-03-31
Lee, Thomas C.
Boots, shoes, and leggings
3642756, 3642821, 36491796, 364DIG1, G06F 964, G06F 9455, G06F 1516
Patent
active
051014912
ABSTRACT:
A synthesizer means for generating software for a computer which is programmed for controlling a physical system. The software generated by the synthesizer represents a new function to be incorporated in the existing system. The synthesizer includes a device for receiving a formal description representative of the new function in a specification language and for translating the specification into a base document. The base document is further processed by document processing devices for handling the static, interface and dynamic parts of the description to produce an error-free base document. The complete base document is translated by an information processing device into an internal code document which is used by a check device and a simulation device. A compiling device translates the internal code document into an intermediate code document suitable for input to said computer.
REFERENCES:
patent: 3930237 (1975-12-01), Villers
patent: 4204253 (1980-05-01), van den Hanenberg et al.
patent: 4205371 (1980-05-01), Feather
patent: 4231087 (1980-10-01), Hunsberger et al.
patent: 4315315 (1982-02-01), Kossiakoff
patent: 4437184 (1984-03-01), Cork et al.
patent: 4500963 (1985-02-01), Smith et al.
patent: 4536840 (1955-08-01), Borta
patent: 4580228 (1986-04-01), Noto
patent: 4631664 (1986-12-01), Bachman
patent: 4635189 (1987-01-01), Kendall
patent: 4734854 (1988-03-01), Afshar
patent: 4734856 (1988-03-01), Davis
Busnello et al., "Structure of a Source Program Generator", IBM TOB vol. 14, No. 1, pp. 306-311.
Wisniewski, "Aids for VLSI Design Entry and Partitioning", IEEE International Conference on Circuits and Computers, IEEE, 1982.
Waters, R. C., "The Programmer's Apprentice: Knowledge Based Program Editing", IEEE Transactions on Software Engineering, vol. SE-8, No. 1, Jan. 1982.
Dell et al., "Computer-Aided Design for Software", Software and Microsystems, vol. 1, No. 1, Oct. 1981.
Lee Thomas C.
Mohamed Ayni
LandOfFree
System means for synthesizing, generating and checking software does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System means for synthesizing, generating and checking software , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System means for synthesizing, generating and checking software will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2265914