Добірка наукової літератури з теми "Formats orientés objets"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Formats orientés objets".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Formats orientés objets"
Yarosh, V. A., A. V. Efanov, S. S. Yastrebov, and E. E. Privalov. "Application of Common Information Models for integration of rural electric networks information systems." IOP Conference Series: Earth and Environmental Science 1138, no. 1 (February 1, 2023): 012039. http://dx.doi.org/10.1088/1755-1315/1138/1/012039.
Повний текст джерелаChen, Pei Jiang. "Medical Image Display Based on DICOM." Key Engineering Materials 480-481 (June 2011): 932–37. http://dx.doi.org/10.4028/www.scientific.net/kem.480-481.932.
Повний текст джерелаJedlička, Petr. "XML format for notation of object-oriented Petri net." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 55, no. 3 (2007): 47–56. http://dx.doi.org/10.11118/actaun200755030047.
Повний текст джерелаGijsbers, P. J. A. "DELFTMDD: A tool for integration of independent models in a decision support system." Water Science and Technology 39, no. 4 (February 1, 1999): 193–201. http://dx.doi.org/10.2166/wst.1999.0206.
Повний текст джерелаJaimez-González, Carlos R., José M. Hernández-Salinas, and Betzabet García-Mendoza. "Web System to Support the Teaching of an Undergraduate Distributed Systems Course." International Journal of Emerging Technologies in Learning (iJET) 19, no. 04 (April 24, 2024): 71–85. http://dx.doi.org/10.3991/ijet.v19i04.46449.
Повний текст джерелаSemenov, Vitaly Adolfovich, Semen Vasilyevich Arishin, and Georgii Vitalyevich Semenov. "Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data." Proceedings of the Institute for System Programming of the RAS 33, no. 5 (2021): 7–24. http://dx.doi.org/10.15514/ispras-2021-33(5)-1.
Повний текст джерелаBernstein, H. J. "Transition to object-oriented data representations: interconversion between CIF and other formats." Acta Crystallographica Section A Foundations of Crystallography 64, a1 (August 23, 2008): C160. http://dx.doi.org/10.1107/s010876730809483x.
Повний текст джерелаJedlička, Petr. "XML as a format of expression of Object-Oriented Petri Nets." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 52, no. 6 (2004): 45–54. http://dx.doi.org/10.11118/actaun200452060045.
Повний текст джерелаNazaruks, Vladislavs. "The Knowledge Frame System based on Principles of Topological Functioning Model." Applied Computer Systems 21, no. 1 (May 24, 2017): 28–37. http://dx.doi.org/10.1515/acss-2017-0004.
Повний текст джерелаHotan, A. W., W. van Straten, and R. N. Manchester. "psrchive and psrfits: An Open Approach to Radio Pulsar Data Storage and Analysis." Publications of the Astronomical Society of Australia 21, no. 3 (2004): 302–9. http://dx.doi.org/10.1071/as04022.
Повний текст джерелаДисертації з теми "Formats orientés objets"
Li, Tientien. "An Object-Oriented Telemetry Format Management (TFM) System." International Foundation for Telemetering, 1990. http://hdl.handle.net/10150/613427.
Повний текст джерелаThe telemetry format is a key piece of information utilized by both the flight segment and the ground segment of a mission. During the evolution of a mission, the telemetry format is usually going through many changes and refinements. Sometimes, a format may even evolve from mission to mission. The conventional Relational Data Base Management Systems (RDBMS) do not work well with telemetry formats because of the multidimensional nature of most telemetry formats. To reduce the complexity of managing dynamic telemetry formats, an innovative Telemetry Format Management (TFM) system has been designed. The TFM system utilizes new object-oriented concepts in managing the creation, the evolution, and the utilization of telemetry formats. It supports common telemetry formats including: Time-Division Multiplexed (TDM) telemetry formats and packet telemetry formats. By using the TFM system, one can greatly simplify most tasks associated with the development of telemetry formats. This paper describes the architecture, design concepts, and operational philosophy of the TFM system.
Carpentier, Thibaut. "Orchestrating a software ecosystem for the creation, manipulation, and distribution of spatial audio." Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS632.
Повний текст джерелаThis dissertation presents a structured selection of research works and software developments, carried out over the last ten years, on sound spatialization and artificial reverberation, with an emphasis on computer music applications. Topics cover different stages of the spatial audio production workflow, particularly in the Ambisonic format. The selected studies address a number of scientific and technological challenges, including the use of holophonic approaches in high-density loudspeaker arrays, the development of transformation operators for creative manipulations of sound scenes, the spherical harmonics analysis of directivity functions, and the production and delivery of object-based audio. This body of work revolves around the development of a comprehensive software ecosystem enabling the creation, manipulation, and distribution of spatialized sound scenes. These studies illustrate my personal contributions to this field, and demonstrate scientific, technological and experimental advances in the disciplines of signal processing, physical acoustics, and computer science. Most of the works that makes up this dissertation has been previously published, in the form of journal articles or conference proceedings
Roth, Andreas. "Specification and verification of object oriented software components." Karlsruhe : Univ.-Verl. Karlsruhe, 2006. http://www.uvka.de/univerlag/volltexte/2006/130/.
Повний текст джерелаNaser, Taher A. J. "A flexible approach for mapping between object-oriented databases and xml. A two way method based on an object graph." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.
Повний текст джерелаMORE, JOHN Andrew. "EXTENSIBILITY OF AN OBJECT-ORIENTED COMPILIER INTERMEDIATE WITH A FOCUS ON CLONING." University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1113329790.
Повний текст джерелаNaser, Taher Ahmed Jabir. "A flexible approach for mapping between object-oriented databases and XML : a two way method based on an object graph." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.
Повний текст джерелаTaniar, David Randy. "Query optimization for parallel object-oriented database systems." Thesis, 1997. https://vuir.vu.edu.au/15272/.
Повний текст джерелаКниги з теми "Formats orientés objets"
1926-, Goldsack Stephen J., and Kent, S. J. H. 1966-, eds. Formal methods and object technology. London: Springer, 1996.
Знайти повний текст джерелаRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Знайти повний текст джерелаFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Знайти повний текст джерелаN.Z.) SOFL+MSVL (Workshop) (3rd 2013 Queenstown. Structured object-oriented formal language and method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers. Cham: Springer, 2014.
Знайти повний текст джерелаFMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Berlin: Springer, 2004.
Знайти повний текст джерелаCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Знайти повний текст джерелаservice), SpringerLink (Online, ed. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Знайти повний текст джерелаElie, Najm, Nestmann Uwe, and Stevens Perdita, eds. Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings. Berlin: Springer-Verlag, 2003.
Знайти повний текст джерелаInternational Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. Berlin: Springer, 2010.
Знайти повний текст джерелаJ, Tarr Michael, and Bülthoff Heinrich H, eds. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Знайти повний текст джерелаЧастини книг з теми "Formats orientés objets"
Nissanke, Nimal. "Object Oriented Specification." In Formal Specification, 141–62. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0791-0_8.
Повний текст джерела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. "Introduction." In Formal Object-Oriented Development, 1–14. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_1.
Повний текст джерелаLano, Kevin. "The Software Development Process." In Formal Object-Oriented Development, 15–43. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_2.
Повний текст джерелаLano, Kevin. "From Analysis to Formal Specification." In Formal Object-Oriented Development, 44–83. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_3.
Повний текст джерелаLano, Kevin. "Specification Notations and Techniques." In Formal Object-Oriented Development, 84–136. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_4.
Повний текст джерелаLano, Kevin. "Design and Refinement." In Formal Object-Oriented Development, 137–75. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_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.
Повний текст джерелаLano, Kevin. "Concurrent and Real-time Behaviour." In Formal Object-Oriented Development, 219–56. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_7.
Повний текст джерелаLano, Kevin. "Implementation and Code Generation." In Formal Object-Oriented Development, 257–85. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_8.
Повний текст джерелаТези доповідей конференцій з теми "Formats orientés objets"
Moreira, Ana M. D., and Robert G. Clark. "Os Métodos Formais na Análise de Orientação por Objectos." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1993. http://dx.doi.org/10.5753/sbes.1993.24408.
Повний текст джерелаKudasov, Nikolai, та Violetta Sim. "Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects". У FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3611096.3611103.
Повний текст джерелаHardwick, Martin, and Blair R. Downie. "On Object-Oriented Databases, Materialized Views, and Concurrent Engineering." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/edm1991-0187.
Повний текст джерелаHamie, Ali, John Howse, and Stuart Kent. "Modular Semantics for Object-Oriented Models." In 3rd BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/nfm1998.11.
Повний текст джерелаClark, Tony. "A Semantics for Object-Oriented Systems." In 3rd BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/nfm1998.5.
Повний текст джерелаBruel, J. M., R. B. France, M. M. Larrondo-Petrie, B. Chintapally, and G. K. Raghavan. "CASE-based Rigorous Object-Oriented Modeling." In Proceedings of the BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/fa1996.4.
Повний текст джерелаNasser, Taher, Reda Alhajj, and Mick Ridley. "Flexible approach for representing object oriented databases in XML format." In the 10th International Conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1497308.1497387.
Повний текст джерелаFeiks, F., and D. Hemer. "Specification matching of object-oriented components." In 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03. IEEE, 2003. http://dx.doi.org/10.1109/sefm.2003.1236220.
Повний текст джерелаBrezhnev, R. V., Yu A. Maglinets, K. V. Raevich, and V. G. Margaryan. "A tool for analysis of the influence of the Earth surface soil layer temperature on the inhomogeneity of grain crops development by the Earth remote sensing data." In Spatial Data Processing for Monitoring of Natural and Anthropogenic Processes 2021. Crossref, 2021. http://dx.doi.org/10.25743/sdm.2021.97.30.049.
Повний текст джерелаGrandy, H., K. Stenzel, and W. Reif. "Object oriented verification kernels for secure Java applications." In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.28.
Повний текст джерелаЗвіти організацій з теми "Formats orientés objets"
Hartrum, Thomas C., and Paul Bailor. A Formal Extension to Object Oriented Analysis Using Z. Fort Belvoir, VA: Defense Technical Information Center, October 1994. http://dx.doi.org/10.21236/ada290911.
Повний текст джерелаGrajales Bustamante, Juan David, Miguel Alberto Becerra, and Leonardo Serna Guarín. Comunicación unificada de voz sobre protocolo de internet. Instituto Tecnológico Metropolitano, November 2024. http://dx.doi.org/10.22430/reporte.6682.
Повний текст джерелаAlcina de Fortoul, Sandra. Inteligencia emocional, desde el enfoque fenomenológico en la calidad de desempeño de la gerencia administrativa en la Universidad Autónoma de Chile. Universidad Catolica de Temuco; Semana Internacional Chile 2021, Cartagena, Colombia., November 2021. http://dx.doi.org/10.32457/2050012728/980620214.
Повний текст джерелаSerrano Angarita, Nini Sorell. Narrativa de enfermería: teoría de la incertidumbre frente a la enfermedad. Ediciones Universidad Cooperativa de Colombia, April 2023. http://dx.doi.org/10.16925/gcnc.61.
Повний текст джерела