Gotowe bibliografie tematyczne / Object Oriented Methods

Gotowa bibliografia na temat „Object Oriented Methods”

Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 10 lutego 2022

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Object Oriented Methods”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Object Oriented Methods"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Faloutsos, Christos, Timos Sellis i Nick Roussopoulos. "Analysis of object oriented spatial access methods". ACM SIGMOD Record 16, nr 3 (grudzień 1987): 426–39. http://dx.doi.org/10.1145/38714.38758.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Streszczenie:
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.�
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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).
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Object Oriented Methods"

1

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

J, O'Callaghan A., i Wills Alan Cameron, red. Object-oriented methods: Principles & practice. Wyd. 3. Harlow: Addison-Wesley, 2001.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Object Oriented Methods"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Object Oriented Methods"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Object Oriented Methods"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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, listopad 1992. http://dx.doi.org/10.21236/ada258468.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Henz, Brian J., i 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, grudzień 2003. http://dx.doi.org/10.21236/ada419247.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Object Oriented Methods” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii