Academic literature on the topic 'Object Oriented Methods'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hogg, John. "Object-Oriented Formal Methods." ACM SIGPLAN OOPS Messenger 3, no. 2 (April 1992): 6. http://dx.doi.org/10.1145/130943.1041450.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Object Oriented Methods"

1

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 text
Abstract:
This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. Chapter 3 proposes a generalisation of the familiar notion of coalgebra such that classes containing methods with arbitrary types (including binary methods) can be modelled with these generalised coalgebras. 2. Chapter 4 presents the specification language CCSL (short for Coalgebraic Class Specification Language), its syntax, its semantics, and a prototype compiler that translates CCSL into higher-order logic
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
APA, Harvard, Vancouver, ISO, and other styles
2

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 text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fleissner, Florian. "Parallel object oriented simulation with Lagrangian particle methods." Aachen Shaker, 2009. http://d-nb.info/1000976742/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Moghim, Mohammad Reza. "Incorporating design patterns into object-oriented development methods." Thesis, University of Salford, 1999. http://usir.salford.ac.uk/26820/.

Full text
Abstract:
Object-oriented methods and design patterns provide valuable design guidance for object-oriented system development. However, they are not competitors, and in fact complement each other in many ways. The research reported in this thesis studied how to apply design patterns and object-oriented methods together to guide system development. It addresses issues such as, how methods need to be changed to accommodate the application of design patterns; how design patterns need to be adapted to fit within methods; and how the heuristics of design patterns may be brought to bear on improving methods. The thesis reports the experience of accommodating six design patterns ( Adapter, Composite, Facade, Mediator, Observer and Strategy ) from the book entitled "Design Patterns Elements of Reusable Object-Oriented Software" by E.Gamma, R. Helm, R.Johnson and J.Vlissides into certain object-oriented methods namely (Responsibility-Driven Design, Object-Oriented Software Engineering and Unified Modelling Language). This experience has been used in the work to generate a general approach for accommodating design patterns into methods. It also shows how the properties of the object-oriented methods and design patterns interact.�
APA, Harvard, Vancouver, ISO, and other styles
7

Caswell, Matthew J. A. "The action semantics of object-oriented languages." Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.

Full text
Abstract:
Action Semantics is a framework for defining the semantics of languages. It is intended to be accessible to a wider audience of Computer Scientists than traditional semantics frameworks (such as Denotational Semantics). There has been little work carried out to date on the techniques required to define object-oriented languages with Action Semantics. The work presented in this thesis examines four potential approaches to defining the Action Semantics of object-oriented languages. In order to illustrate the four approaches a simple language EIL (Example Inheritance Language) is given, and described using these four approaches. The language Smalltalk-80 has been selected for a case study of a practical application of one of the techniques described above. It is important to be able to relate Action Semantics definitions of object-oriented languages to similar definitions given in other frameworks. It is described how this can be achieved. An example is given for the Action Semantics and Denotational Semantics of Smalltalk. This thesis concludes that it is feasible to produce Action Semantics definitions of object-oriented languages.
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
Thesis (M.S.)--West Virginia University, 2001.
Title from document title page. Document formatted into pages; contains xii, 121 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 118-121).
APA, Harvard, Vancouver, ISO, and other styles
9

Tokuda, Lance Aiji. "Evolving object-oriented designs with refactorings /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Object Oriented Methods"

1

Ian, Graham. Object-oriented methods. Wokingham, England: Addison-Wesley, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Object-oriented methods. 2nd ed. Wokingham, England: Addison-Wesley, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

A, Bulthuis, ed. Object-oriented metamethods. New York: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Henderson-Sellers, Brian. Object-oriented metamethods. New York: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

J, Odell James, ed. Object-oriented methods: Pragmatic considerations. Upper Saddle River, NJ: Prentice Hall PTR, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

James, Martin. Object-oriented methods: A foundation. Lancashire, England: Savant, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

James, Martin. Object-oriented methods: A foundation. 2nd ed. Upper Saddle River, N.J: Prentice Hall PTR, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ian, Graham. Object-oriented methods: Principles & practice. 3rd ed. Harlow, England: Addison-Wesley, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

J, O'Callaghan A., and Wills Alan Cameron, eds. Object-oriented methods: Principles & practice. 3rd ed. Harlow: Addison-Wesley, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

J, Odell James, and Martin James 1933-, eds. Object-oriented methods: A foundation. Englewood Cliffs, N.J: PTR Prentice Hall, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Object Oriented Methods"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Object Oriented Methods"

1

"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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Object Oriented Methods"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography