摘要:
acm.org
sci-hub.se 参考文章(80)
R. J. Gautier, A language for describing Ada software components international conference on reliable software technologies. pp. 75- 85 ,(1987)
Rod M. Burstall, Programming with Modules as Typed Functional Programming. Future Generation Computer Systems. pp. 103- 112 ,(1984)
Will Tracz, Software reuse technical opportunities technology of object oriented languages and systems. pp. 539- 547 ,(1993)
Alexander Lee Wolf, Language and tool support for precise interface control (environments, programming languages, module interconnection) University of Massachusetts Amherst. ,(1985)
Joseph A. Goguen, Types as theories Topology and category theory in computer science. pp. 357- 385 ,(1991)
R. Prieto-Diaz, Domain analysis for reusability Software reuse: emerging technology. pp. 347- 353 ,(1988)
Joseph A. Goguen, Requirements engineering as the reconciliation of social and technical issues Requirements Engineering. pp. 165- 199 ,(1994)
Joseph A. Goguen, José Meseguer, Unifying functional, object-oriented and relational programming with logical semantics Research directions in object-oriented programming. pp. 417- 478 ,(1987)
M. D. Lubars, A knowledge-based design aid for the construction of software systems University of Illinois, Department of Computer Science. ,(1987)
David Plaisted, Joseph Goguen, Jose Meseguer, PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ. North-Holland Publ Co. pp. 163- 193 ,(1983)