{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:13:24Z","timestamp":1693869204270},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Software Eng"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf00871705","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:01:47Z","timestamp":1104130907000},"page":"239-279","source":"Crossref","is-referenced-by-count":7,"title":["Software synthesis using generic architectures"],"prefix":"10.1007","volume":"1","author":[{"given":"Sanjay","family":"Bhansali","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Aho, A. V., and Ullman, J. D. 1977.Principles of Compiler Design. Addison-Wesley Publishing Company."},{"key":"CR2","unstructured":"Allen, R., and Garlan, D. 1992. A formal approach to software architectures. InIFIP World Computer Congress 92, Madrid, Spain."},{"key":"CR3","unstructured":"Barstow, D. 1983. A perspective on automatic programming. In8th International Joint Conference on Artificial Intelligence, pp. 1170?1179."},{"key":"CR4","unstructured":"Bhansali, S. 1992. Generic software architecture based redesign. InAAAI Spring Symposium on Computational Considerations in Supporting Incremental Modification and Reuse, Stanford, CA, pp. 53?58."},{"key":"CR5","volume-title":"Fifth International Conference on Software Engineering and Knowledge Engineering","author":"S. Bhansali","year":"1993","unstructured":"Bhansali, S. 1993. Architecture-driven reuse of code in KASE. InFifth International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, San Francisco Bay."},{"key":"CR6","unstructured":"Bhansali, S., and Nii, H. P. 1992a. KASE: An integrated environment for software design. In2nd International Conference on Artificial Intelligence in Design, Pittsburgh, PA, pp. 371?389."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/KBSE.1992.252904","volume-title":"7th Knowledge-Based Software Engineering Conference","author":"S. Bhansali","year":"1992","unstructured":"Bhansali, S., and Nii, H. P. 1992b. Software design by reusing architectures. In7th Knowledge-Based Software Engineering Conference, pp. 100?109. McLean, VA: IEEE Computer Society Press."},{"key":"CR8","unstructured":"Brown, H. D., Schoen, E., and Delagi, B. A. 1986.An Experiment in Knowledge-Based Signal Understanding Using Parallel Architectures. No. STAN-CS-86-1136, Department of Computer Science, Stanford University."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1002\/(SICI)1097-4571(198905)40:3<200::AID-ASI11>3.0.CO;2-U","volume":"40","author":"J. Conklin","year":"1989","unstructured":"Conklin, J., and Begeman, M. 1989. gIBIS: A tool for all reasons.Journal of the American Society for Information Science, 40:200?213.","journal-title":"Journal of the American Society for Information Science"},{"key":"CR10","unstructured":"Feather, M., Fickas, S., and Helm, B. R. 1991. Composite system design: The good news and the bad news. In6th Annual Knowledge-based Software Engineering Conference, pp. 13?27."},{"key":"CR11","first-page":"280","volume-title":"14th International Conference on Software Engineering","author":"P. Garg","year":"1992","unstructured":"Garg, P., and Bhansali, S. 1992. Process programming by hindsight. In14th International Conference on Software Engineering, IEEE Computer Society, Melbourne, Australia, pp. 280?293."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J. A. 1989. Principles of parameterized programming. InSoftware Reusability, edited by T. J. Biggerstaff and A. Perlis. Addison Wesley.","DOI":"10.1145\/73103.73110"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Graves, H. 1991. Lockheed Environment for Automatic Programming. In6th Annual Knowledge-Based Software Engineering Conference, pp. 78?89. Syracuse, NY.","DOI":"10.1109\/KBSE.1991.638022"},{"key":"CR14","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference","author":"T. R. Gruber","year":"1991","unstructured":"Gruber, T. R. 1991. The role of common ontology in achieving sharable, reusable knowledge bases. InPrinciples of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, edited by J. A. Allen, R. Fikes, and E. Sandewall. San Mateo, CA: Morgan Kaufmann."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1080\/07370024.1990.9667157","volume":"5","author":"R. Guindon","year":"1990","unstructured":"Guindon, R. 1990. Designing the design process: Exploiting opportunistic thoughts.Human-Computer Interaction, 5:305?344.","journal-title":"Human-Computer Interaction"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Guindon, R. 1992. Requirements and design of Design Vision, an object-oriented graphical interface to an intelligent software design assistant. InACM Proceedings of CHI'92. Monterey, CA.","DOI":"10.1145\/142750.142908"},{"key":"CR17","volume-title":"Blackboard Architectures and Applications","year":"1989","unstructured":"Jagannathan, V., Dodhiawala, R., and Baum, L. S. (eds.). 1989.Blackboard Architectures and Applications. Boston: Academic Press."},{"key":"CR18","unstructured":"Kant, E., Daube, F., MacGregor, W., and Wald, J. 1991. Scientific programming by automated synthesis. InAutomating Software Design, edited by M. R. Lowry and R. D. McCartney, pp. 169?206. AAAI Press\/The MIT Press."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Lane, T. G. 1990.A Design Space and Design Rules for User Interface Software Architectures. No. CMU-CS-90-176. Carnegie Mellon University.","DOI":"10.21236\/ADA237049"},{"key":"CR20","unstructured":"Lowry, M. R., and McCartney, R. D. (eds.). 1991.Automating Software Design. AAAI Press\/The MIT Press."},{"issue":"10","key":"CR21","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.163604","volume":"18","author":"W. Mark","year":"1992","unstructured":"Mark, W., Tyler, S., McGuire, J., and Schlossberg 1992. Commitment based software development. InIEEE Transactions on Software Engineering, 18(10):870?885.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR22","unstructured":"Milner, R., Tofte, M., and Harper, R. 1990.The Definition of Standard ML. MIT Press."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Nakano, G., and Bhansali, S. 1993a. Flexible control mechanism in a consistency maintenance system. InIEEE Pacific Rim Conference on Communications, Computers, and Signal Processing, Victoria, British Columbia, Canada.","DOI":"10.1109\/PACRIM.1993.407229"},{"key":"CR24","unstructured":"Nakano, G., and Bhansali, S. 1993b. A knowledge-based approach for consistency checking mechanism in software design. InProceedings of the 6th Florida AI Research Symposium, pp. 157?165. Fort Lauderdale, FL."},{"issue":"9","key":"CR25","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/TSE.1984.5010280","volume":"10","author":"J. Neighbors","year":"1984","unstructured":"Neighbors, J. 1984. The DRACO approach to constructing software from reusable components.IEEE Transactions on Software Engineering, 10(9):564?573.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR26","unstructured":"Nii, H. P., and Aiello, N. 1979. AGE (Attempt to Generalize): A knowledge-based program for building knowledge-based programs. In6th International Joint Conference on Artificial Intelligence, pp. 645?655."},{"key":"CR27","unstructured":"Nii, H. P., Feigenbaum, E. A., Anton, J. J., and Rockmore, A. J. 1982. Signal-to-symbol transformation: HASP\/SIAP case study.AI Magazine, Spring: 23?36."},{"key":"CR28","first-page":"1","volume-title":"Handbook of Artificial Intelligence","author":"P. Nii","year":"1989","unstructured":"Nii, P. 1989. Blackboard systems. InHandbook of Artificial Intelligence, edited by A. Barr, P. Cohen, and E. Feigenbaum, pp. 1?82. New York, NY: Addison-Wesley."},{"key":"CR29","unstructured":"Nonnenmann, U., and Eddy, J. K. 1992. KITSS?A functional software testing system using a hybrid domain model. InProceedings of the 8th Conference on Artificial Intelligence for Applications. Monterrey, CA."},{"issue":"4","key":"CR30","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0164-1212(86)90002-6","volume":"6","author":"R. Prieto-Diaz","year":"1986","unstructured":"Prieto-Diaz, R., and Neighbors, J. M. 1986. Module interconnection languages.Journal of Systems and Software, 6(4):307?334.","journal-title":"Journal of Systems and Software"},{"key":"CR31","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991.Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Setliff, D., and Rutenbar, R. 1992. Knowledge representation and reasoning in a software synthesis architecture.IEEE Transactions on Software Engineering, 18(6).","DOI":"10.1109\/32.142874"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Shaw, M. 1989. Large scale systems require higher-level abstractions. InFifth International Workshop on Software Specifications and Design, pp. 143?146. IEEE Computer Society.","DOI":"10.1145\/75200.75222"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Shaw, M. 1991. Heterogeneous design idioms for software architecture. In6th International Workshop on Software Specification and Design, pp. 158?165. Como, Italy.","DOI":"10.1109\/IWSSD.1991.213065"},{"issue":"9","key":"CR35","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D. R. Smith","year":"1990","unstructured":"Smith, D. R. 1990. KIDS: A semi-automatic program development system.IEEE Transactions on Software Engineering, 16(9):1024?1043.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR36","unstructured":"van Melle, W. 1980.A Domain Independent System that Aids in Constructing Consultation Programs. Ph.D., Computer Science Department, Stanford University."},{"issue":"11","key":"CR37","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1109\/TSE.1985.231880","volume":"11","author":"R. C. Waters","year":"1985","unstructured":"Waters, R. C. 1985. The programmer's apprentice: A session with KBEmacs.IEEE Transactions on Software Engineering, 11(11):1296?1320.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR38","unstructured":"Workshop, D. 1990.Proceedings of the Workshop on Domain-Specific Software Architectures. Software Engineering Institute."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871705.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00871705\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:52:54Z","timestamp":1586044374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00871705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF00871705"],"URL":"https:\/\/doi.org\/10.1007\/bf00871705","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}