Добірка наукової літератури з теми "Object Oriented Methods"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Object Oriented Methods".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Object Oriented Methods"
Solberg, Helge Erik. "Object-oriented methods." Clinica Chimica Acta 222, no. 1-2 (December 1993): 3–11. http://dx.doi.org/10.1016/0009-8981(93)90086-j.
Повний текст джерелаWebster, S. "Object oriented methods." Information and Software Technology 34, no. 3 (March 1992): 205. http://dx.doi.org/10.1016/0950-5849(92)90032-k.
Повний текст джерелаHogg, John. "Object-Oriented Formal Methods." ACM SIGPLAN OOPS Messenger 3, no. 2 (April 1992): 6. http://dx.doi.org/10.1145/130943.1041450.
Повний текст джерелаMackie, R. I. "Object Oriented Programming and Numerical Methods." Computer-Aided Civil and Infrastructure Engineering 6, no. 2 (November 6, 2008): 123–28. http://dx.doi.org/10.1111/j.1467-8667.1991.tb00182.x.
Повний текст джерелаDupée, Brian J. "Object oriented methods using Fortran 90." ACM SIGPLAN Fortran Forum 13, no. 1 (March 1994): 21–30. http://dx.doi.org/10.1145/191559.191563.
Повний текст джерелаOuarraui, Chakib, and David Kaeli. "Developing object-oriented parallel iterative methods." International Journal of High Performance Computing and Networking 1, no. 1/2/3 (2004): 85. http://dx.doi.org/10.1504/ijhpcn.2004.007568.
Повний текст джерелаShiau, Lie June. "Object-oriented programming for numerical methods." ACM SIGCSE Bulletin 25, no. 4 (December 1993): 5–8. http://dx.doi.org/10.1145/164205.164210.
Повний текст джерелаChu, P. C. "Internal Control Methods In Object-Oriented Systems." Review of Business Information Systems (RBIS) 1, no. 3 (July 1, 1997): 21–42. http://dx.doi.org/10.19030/rbis.v1i3.5500.
Повний текст джерелаFaloutsos, Christos, Timos Sellis, and Nick Roussopoulos. "Analysis of object oriented spatial access methods." ACM SIGMOD Record 16, no. 3 (December 1987): 426–39. http://dx.doi.org/10.1145/38714.38758.
Повний текст джерелаDiaz, Oscar, Jon Iturrioz, and Mario G. Piattini. "Promoting business policies in object-oriented methods." Journal of Systems and Software 41, no. 2 (May 1998): 105–15. http://dx.doi.org/10.1016/s0164-1212(97)10011-5.
Повний текст джерелаДисертації з теми "Object Oriented Methods"
Tews, Hendrik. "Coalgebraic Methods for Object-Oriented Specification." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2002. http://nbn-resolving.de/urn:nbn:de:swb:14-1035212977359-10343.
Повний текст джерелаDie Dissertation beschreibt coalgebraische Mittel und Methoden zur Softwarespezifikation und -verifikation. Die Ergebnisse dieser Dissertation vereinfachen die Anwendung coalgebraischer Spezifikations- und Verifikationstechniken und erweitern deren Anwendbarkeit. Damit werden Softwareverifikation im Allgemeinen und im Besonderen coalgebraische Methoden zur Softwareverifikation der praktischen Anwendbarkeit ein Stück nähergebracht. Diese Dissertation enthält zwei wesentliche Beiträge: 1. Im Kapitel 3 wird eine Erweiterung des klassischen Begriffs der Coalgebra vorgestellt. Diese Erweiterung erlaubt die coalgebraische Modellierung von Klassenschnittstellen mit beliebigen Methodentypen (insbesondere mit binären Methoden). 2. Im Kapitel 4 wird die coalgebraische Spezifikationssprache CCSL (Coalgebraic Class Specification Language) vorgestellt. Die Bescheibung umfasst Syntax, Semantik und einen Prototypcompiler, der CCSL Spezifikationen in Logik höherer Ordnung (passend für die Theorembeweiser PVS und Isabelle/HOL) übersetzt
Ormsby, Andrew Robert Thomas. "Improving reuse in object oriented design methods." Thesis, Aberystwyth University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295270.
Повний текст джерелаAlencar, Antonio J. S. M. de. "OOZE : an Object-Oriented Z Environment." Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239339.
Повний текст джерелаFleissner, Florian. "Parallel object oriented simulation with Lagrangian particle methods." Aachen Shaker, 2009. http://d-nb.info/1000976742/04.
Повний текст джерелаLiang, Ying. "A framework for assessing object-oriented analysis methods." Thesis, Open University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295047.
Повний текст джерелаMoghim, Mohammad Reza. "Incorporating design patterns into object-oriented development methods." Thesis, University of Salford, 1999. http://usir.salford.ac.uk/26820/.
Повний текст джерелаCaswell, Matthew J. A. "The action semantics of object-oriented languages." Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.
Повний текст джерелаFarmani, Maryam. "Object-oriented expert system design TEXPERT /." Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=2054.
Повний текст джерелаTitle from document title page. Document formatted into pages; contains xii, 121 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 118-121).
Tokuda, Lance Aiji. "Evolving object-oriented designs with refactorings /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Повний текст джерелаKwok, Chee Khan. "Simulation of distributed object oriented servers." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Dec%5FKwok%5fC.pdf.
Повний текст джерелаКниги з теми "Object Oriented Methods"
Ian, Graham. Object-oriented methods. Wokingham, England: Addison-Wesley, 1991.
Знайти повний текст джерелаObject-oriented methods. 2nd ed. Wokingham, England: Addison-Wesley, 1994.
Знайти повний текст джерелаA, Bulthuis, ed. Object-oriented metamethods. New York: Springer, 1997.
Знайти повний текст джерелаHenderson-Sellers, Brian. Object-oriented metamethods. New York: Springer, 1998.
Знайти повний текст джерелаJ, Odell James, ed. Object-oriented methods: Pragmatic considerations. Upper Saddle River, NJ: Prentice Hall PTR, 1996.
Знайти повний текст джерелаJames, Martin. Object-oriented methods: A foundation. Lancashire, England: Savant, 1994.
Знайти повний текст джерелаJames, Martin. Object-oriented methods: A foundation. 2nd ed. Upper Saddle River, N.J: Prentice Hall PTR, 1998.
Знайти повний текст джерелаIan, Graham. Object-oriented methods: Principles & practice. 3rd ed. Harlow, England: Addison-Wesley, 2000.
Знайти повний текст джерелаJ, O'Callaghan A., and Wills Alan Cameron, eds. Object-oriented methods: Principles & practice. 3rd ed. Harlow: Addison-Wesley, 2001.
Знайти повний текст джерелаJ, Odell James, and Martin James 1933-, eds. Object-oriented methods: A foundation. Englewood Cliffs, N.J: PTR Prentice Hall, 1995.
Знайти повний текст джерелаЧастини книг з теми "Object Oriented Methods"
Lamping, John, and Martin Abadi. "Methods as assertions." In Object-Oriented Programming, 60–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0052176.
Повний текст джерелаBeynon-Davies, Paul. "Object-Oriented Methods." In Information Systems Development, 291–96. London: Macmillan Education UK, 1998. http://dx.doi.org/10.1007/978-1-349-14931-5_30.
Повний текст джерелаTekinerdoğan, Bedir, Motoshi Saeki, Gerson Sunyé, Pim van den Broek, and Pavel Hruby. "Automating Object-Oriented Software Development Methods." In Object-Oriented Technology, 41–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47853-1_4.
Повний текст джерелаCohen, Ernie. "Object-Oriented Security Proofs." In Formal Methods, 671–74. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7_43.
Повний текст джерелаLano, Kevin. "Proof Methods and Techniques." In Formal Object-Oriented Development, 176–218. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_6.
Повний текст джерелаBastide, Rémi, and Didier Buchs. "Models, Formalisms and Methods for Object-Oriented Distributed Computing." In Object-Oriented Technologys, 221–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_45.
Повний текст джерелаBüchi, Martin, and Emil Sekerinski. "Formal Methods for Component Software: The Refinement Calculus Perspective." In Object-Oriented Technologys, 332–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_68.
Повний текст джерелаArge, Erlend, Are Magnus Bruaset, and Hans Petter Langtangen. "Object-Oriented Numerics." In Numerical Methods and Software Tools in Industrial Mathematics, 7–26. Boston, MA: Birkhäuser Boston, 1997. http://dx.doi.org/10.1007/978-1-4612-1984-2_1.
Повний текст джерелаDetlefs, David, and Ole Agesen. "Inlining of Virtual Methods." In ECOOP’ 99 — Object-Oriented Programming, 258–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48743-3_12.
Повний текст джерелаKolditz, Olaf. "Object-Oriented Programming Techniques." In Computational Methods in Environmental Fluid Mechanics, 207–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-662-04761-3_10.
Повний текст джерелаТези доповідей конференцій з теми "Object Oriented Methods"
"Rigorous Object-Oriented Methods 2000 - Index." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.0.
Повний текст джерелаAndré, Pascal, Annya Romanczuk, Jean-Claude Royer, and Aline E. Vasconcelos. "Checking the Consistency of UML Class Diagrams Using Larch Prover." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.1.
Повний текст джерелаClark, Tony. "Object-Oriented Refinement and Proof using Behaviour Functions." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.2.
Повний текст джерелаFischer, Joachim, Eckhardt Holz, Martin v. Löwis, and Andreas Prinz. "SDL-2000: A Language with a Formal Semantics." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.3.
Повний текст джерелаHnatkowska, Bogumila, and Zbigniew Huzar. "Extending the UML with a Multicast Synchronisation." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.4.
Повний текст джерелаLano, K., J. Bicarregui, and A. Evans. "Structured Axiomatic Semantics for UML Models." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.5.
Повний текст джерелаLaue, Annette, Matthias Liedtke, Daniel Moldt, and Ivana Tričković. "Statecharts as Protocols for Objects." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.6.
Повний текст джерелаMaibaum, TSE. "An Overview of The Mensurae Language: Specifying Business Processes." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.7.
Повний текст джерелаSimons, Anthony J. H. "On the Compositional Properties of UML Statechart Diagrams." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.8.
Повний текст джерелаTyrrell, Malcolm, Andrew Butterfield, and Alexis Donnelly. "OO-Motivated Process Algebra: A Calculus for CORBA-like Systems." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.9.
Повний текст джерелаЗвіти організацій з теми "Object Oriented Methods"
Craft, Richard L., Donald R. Funkhouser, and Gregory D. Wyss. The Use of Object-Oriented Analysis Methods in Surety Analysis. Office of Scientific and Technical Information (OSTI), May 1999. http://dx.doi.org/10.2172/7791.
Повний текст джерелаNarayanan, S., Chetan Patel, Nicole L. Schneider, and Hitesh Nandha. Integrating Object-Oriented Simulation and Interactive Optimization Methods for Logistics Systems Analysis. Fort Belvoir, VA: Defense Technical Information Center, February 1997. http://dx.doi.org/10.21236/ada384930.
Повний текст джерелаDyer, Douglas E., and Mark A. Roth. An Eclectic Method for Object Oriented Database Design. Fort Belvoir, VA: Defense Technical Information Center, September 1992. http://dx.doi.org/10.21236/ada256439.
Повний текст джерелаHolibaugh, Robert. Joint Integrated Avionics Working Group (JIAWG) Object-Oriented Domain Analysis Method (JODA). Version 3.1. Fort Belvoir, VA: Defense Technical Information Center, November 1992. http://dx.doi.org/10.21236/ada258468.
Повний текст джерелаHenz, Brian J., and Dale R. Shires. SPOOCEFEM: The Simplified Parallel Object-Oriented Computing Environment for the Finite Element Method With Application: Liquid Composite Molding. Fort Belvoir, VA: Defense Technical Information Center, December 2003. http://dx.doi.org/10.21236/ada419247.
Повний текст джерела