Bibliografías temáticas / Object Oriented Methods

Literatura académica sobre el tema "Object Oriented Methods"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 10 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Índice

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Object Oriented Methods".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Object Oriented Methods"

1

Solberg, Helge Erik. "Object-oriented methods". Clinica Chimica Acta 222, n.º 1-2 (diciembre de 1993): 3–11. http://dx.doi.org/10.1016/0009-8981(93)90086-j.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Webster, S. "Object oriented methods". Information and Software Technology 34, n.º 3 (marzo de 1992): 205. http://dx.doi.org/10.1016/0950-5849(92)90032-k.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Mackie, R. I. "Object Oriented Programming and Numerical Methods". Computer-Aided Civil and Infrastructure Engineering 6, n.º 2 (6 de noviembre de 2008): 123–28. http://dx.doi.org/10.1111/j.1467-8667.1991.tb00182.x.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Dupée, Brian J. "Object oriented methods using Fortran 90". ACM SIGPLAN Fortran Forum 13, n.º 1 (marzo de 1994): 21–30. http://dx.doi.org/10.1145/191559.191563.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Ouarraui, Chakib y David Kaeli. "Developing object-oriented parallel iterative methods". International Journal of High Performance Computing and Networking 1, n.º 1/2/3 (2004): 85. http://dx.doi.org/10.1504/ijhpcn.2004.007568.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Shiau, Lie June. "Object-oriented programming for numerical methods". ACM SIGCSE Bulletin 25, n.º 4 (diciembre de 1993): 5–8. http://dx.doi.org/10.1145/164205.164210.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Chu, P. C. "Internal Control Methods In Object-Oriented Systems". Review of Business Information Systems (RBIS) 1, n.º 3 (1 de julio de 1997): 21–42. http://dx.doi.org/10.19030/rbis.v1i3.5500.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Faloutsos, Christos, Timos Sellis y Nick Roussopoulos. "Analysis of object oriented spatial access methods". ACM SIGMOD Record 16, n.º 3 (diciembre de 1987): 426–39. http://dx.doi.org/10.1145/38714.38758.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Diaz, Oscar, Jon Iturrioz y Mario G. Piattini. "Promoting business policies in object-oriented methods". Journal of Systems and Software 41, n.º 2 (mayo de 1998): 105–15. http://dx.doi.org/10.1016/s0164-1212(97)10011-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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.�
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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).
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Object Oriented Methods"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Object Oriented Methods"

1

Lamping, John y Martin Abadi. "Methods as assertions". En Object-Oriented Programming, 60–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0052176.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Beynon-Davies, Paul. "Object-Oriented Methods". En Information Systems Development, 291–96. London: Macmillan Education UK, 1998. http://dx.doi.org/10.1007/978-1-349-14931-5_30.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Tekinerdoğan, Bedir, Motoshi Saeki, Gerson Sunyé, Pim van den Broek y Pavel Hruby. "Automating Object-Oriented Software Development Methods". En Object-Oriented Technology, 41–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47853-1_4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Cohen, Ernie. "Object-Oriented Security Proofs". En Formal Methods, 671–74. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7_43.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Lano, Kevin. "Proof Methods and Techniques". En Formal Object-Oriented Development, 176–218. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Bastide, Rémi y Didier Buchs. "Models, Formalisms and Methods for Object-Oriented Distributed Computing". En Object-Oriented Technologys, 221–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_45.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Büchi, Martin y Emil Sekerinski. "Formal Methods for Component Software: The Refinement Calculus Perspective". En Object-Oriented Technologys, 332–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_68.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Arge, Erlend, Are Magnus Bruaset y Hans Petter Langtangen. "Object-Oriented Numerics". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Detlefs, David y Ole Agesen. "Inlining of Virtual Methods". En ECOOP’ 99 — Object-Oriented Programming, 258–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48743-3_12.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kolditz, Olaf. "Object-Oriented Programming Techniques". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Object Oriented Methods"

1

"Rigorous Object-Oriented Methods 2000 - Index". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

André, Pascal, Annya Romanczuk, Jean-Claude Royer y Aline E. Vasconcelos. "Checking the Consistency of UML Class Diagrams Using Larch Prover". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Clark, Tony. "Object-Oriented Refinement and Proof using Behaviour Functions". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Fischer, Joachim, Eckhardt Holz, Martin v. Löwis y Andreas Prinz. "SDL-2000: A Language with a Formal Semantics". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Hnatkowska, Bogumila y Zbigniew Huzar. "Extending the UML with a Multicast Synchronisation". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Lano, K., J. Bicarregui y A. Evans. "Structured Axiomatic Semantics for UML Models". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Laue, Annette, Matthias Liedtke, Daniel Moldt y Ivana Tričković. "Statecharts as Protocols for Objects". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Maibaum, TSE. "An Overview of The Mensurae Language: Specifying Business Processes". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Simons, Anthony J. H. "On the Compositional Properties of UML Statechart Diagrams". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Tyrrell, Malcolm, Andrew Butterfield y Alexis Donnelly. "OO-Motivated Process Algebra: A Calculus for CORBA-like Systems". En Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Object Oriented Methods"

1

Craft, Richard L., Donald R. Funkhouser y Gregory D. Wyss. The Use of Object-Oriented Analysis Methods in Surety Analysis. Office of Scientific and Technical Information (OSTI), mayo de 1999. http://dx.doi.org/10.2172/7791.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Narayanan, S., Chetan Patel, Nicole L. Schneider y Hitesh Nandha. Integrating Object-Oriented Simulation and Interactive Optimization Methods for Logistics Systems Analysis. Fort Belvoir, VA: Defense Technical Information Center, febrero de 1997. http://dx.doi.org/10.21236/ada384930.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Dyer, Douglas E. y Mark A. Roth. An Eclectic Method for Object Oriented Database Design. Fort Belvoir, VA: Defense Technical Information Center, septiembre de 1992. http://dx.doi.org/10.21236/ada256439.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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, noviembre de 1992. http://dx.doi.org/10.21236/ada258468.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Henz, Brian J. y 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, diciembre de 2003. http://dx.doi.org/10.21236/ada419247.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Object Oriented Methods" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía