Academic literature on the topic 'Object Oriented Methods'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Object Oriented Methods.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "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.
Full textWebster, 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.
Full textHogg, John. "Object-Oriented Formal Methods." ACM SIGPLAN OOPS Messenger 3, no. 2 (April 1992): 6. http://dx.doi.org/10.1145/130943.1041450.
Full textMackie, 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.
Full textDupé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.
Full textOuarraui, 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.
Full textShiau, 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.
Full textChu, 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.
Full textFaloutsos, 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.
Full textDiaz, 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.
Full textDissertations / Theses on the topic "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.
Full textDie 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.
Full textAlencar, 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.
Full textFleissner, Florian. "Parallel object oriented simulation with Lagrangian particle methods." Aachen Shaker, 2009. http://d-nb.info/1000976742/04.
Full textLiang, Ying. "A framework for assessing object-oriented analysis methods." Thesis, Open University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295047.
Full textMoghim, Mohammad Reza. "Incorporating design patterns into object-oriented development methods." Thesis, University of Salford, 1999. http://usir.salford.ac.uk/26820/.
Full textCaswell, Matthew J. A. "The action semantics of object-oriented languages." Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.
Full textFarmani, Maryam. "Object-oriented expert system design TEXPERT /." Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=2054.
Full textTitle 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.
Full textKwok, 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.
Full textBooks on the topic "Object Oriented Methods"
Ian, Graham. Object-oriented methods. Wokingham, England: Addison-Wesley, 1991.
Find full textObject-oriented methods. 2nd ed. Wokingham, England: Addison-Wesley, 1994.
Find full textA, Bulthuis, ed. Object-oriented metamethods. New York: Springer, 1997.
Find full textHenderson-Sellers, Brian. Object-oriented metamethods. New York: Springer, 1998.
Find full textJ, Odell James, ed. Object-oriented methods: Pragmatic considerations. Upper Saddle River, NJ: Prentice Hall PTR, 1996.
Find full textJames, Martin. Object-oriented methods: A foundation. Lancashire, England: Savant, 1994.
Find full textJames, Martin. Object-oriented methods: A foundation. 2nd ed. Upper Saddle River, N.J: Prentice Hall PTR, 1998.
Find full textIan, Graham. Object-oriented methods: Principles & practice. 3rd ed. Harlow, England: Addison-Wesley, 2000.
Find full textJ, O'Callaghan A., and Wills Alan Cameron, eds. Object-oriented methods: Principles & practice. 3rd ed. Harlow: Addison-Wesley, 2001.
Find full textJ, Odell James, and Martin James 1933-, eds. Object-oriented methods: A foundation. Englewood Cliffs, N.J: PTR Prentice Hall, 1995.
Find full textBook chapters on the topic "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.
Full textBeynon-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.
Full textTekinerdoğ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.
Full textCohen, 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.
Full textLano, 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.
Full textBastide, 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.
Full textBü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.
Full textArge, 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.
Full textDetlefs, 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.
Full textKolditz, 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.
Full textConference papers on the topic "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.
Full textAndré, 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.
Full textClark, 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.
Full textFischer, 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.
Full textHnatkowska, 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.
Full textLano, 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.
Full textLaue, 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.
Full textMaibaum, 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.
Full textSimons, 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.
Full textTyrrell, 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.
Full textReports on the topic "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.
Full textNarayanan, 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.
Full textDyer, 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.
Full textHolibaugh, 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.
Full textHenz, 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.
Full text