Добірка наукової літератури з теми "Methodology and tools"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Methodology and tools".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Methodology and tools"
Kostenko, Leonid, and Tatiana Simonenko. "Scientometrics: Methodology and Tools." Naukovì pracì Nacìonalʹnoï bìblìoteki Ukraïni ìmenì V Ì Vernadsʹkogo, no. 43 (September 7, 2016): 285–95. http://dx.doi.org/10.15407/np.43.285.
Повний текст джерелаMăgurian, Daniel, and Gheorghe Oancea. "Design Methodology of Laminating Tools." Applied Mechanics and Materials 657 (October 2014): 121–25. http://dx.doi.org/10.4028/www.scientific.net/amm.657.121.
Повний текст джерелаQueudeville, Yann, Todor Ivanov, Uwe Vroomen, Andreas Bührig-Polaczek, Stefanie Elgeti, Markus Probst, Marek Behr, et al. "Design methodology for modular tools." Production Engineering 5, no. 4 (May 11, 2011): 351–58. http://dx.doi.org/10.1007/s11740-011-0318-x.
Повний текст джерелаSHINNO, Hidenori, Hitoshi HASHIZUME, Hayato YOSHIOKA, and Kenji ITOH. "Product Development Methodology for Machine Tools." JSME International Journal Series C 45, no. 3 (2002): 815–20. http://dx.doi.org/10.1299/jsmec.45.815.
Повний текст джерелаRusinova, E. S. "Methodology for using digital educational tools." Transport Technician: Education and Practice 4, no. 2 (June 23, 2023): 144–48. http://dx.doi.org/10.46684/2687-1033.2023.2.144-148.
Повний текст джерелаKOVALEVA, O. "NEUROMARKETING RESEARCH TECHNOLOGIES: TOOLS AND METHODOLOGY." Vestnik of Polotsk State University Part D Economic and legal sciences, no. 1 (May 24, 2023): 57–60. http://dx.doi.org/10.52928/2070-1632-2023-63-1-57-60.
Повний текст джерелаGazda, Jakub. "REAL BUSINESS CYCLE THEORY – METHODOLOGY AND TOOLS." Economics & Sociology 3, no. 1 (May 20, 2010): 42–48. http://dx.doi.org/10.14254/2071-789x.2010/3-1/5.
Повний текст джерелаTang, Lei, Zhiwen Yu, Hanbo Wang, Xingshe Zhou, and Zongtao Duan. "Methodology and Tools for Pervasive Application Development." International Journal of Distributed Sensor Networks 10, no. 4 (January 2014): 516432. http://dx.doi.org/10.1155/2014/516432.
Повний текст джерелаRhyne, Jim, Roger Ehrich, John Bennett, Tom Hewett, John Sibert, and Terry Bleser. "Tools and methodology for user interface development." ACM SIGGRAPH Computer Graphics 21, no. 2 (April 1987): 78–87. http://dx.doi.org/10.1145/24919.24921.
Повний текст джерелаZare Mehrjerdi, Yahia. "Six‐Sigma: methodology, tools and its future." Assembly Automation 31, no. 1 (February 22, 2011): 79–88. http://dx.doi.org/10.1108/01445151111104209.
Повний текст джерелаДисертації з теми "Methodology and tools"
Zheng, Wenbo, and Hongxi Zhong. "Reconfigurable Machine Tools Design Methodology." Thesis, KTH, Industriell produktion, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-119082.
Повний текст джерелаDogan, Emre. "Digital Learning Tools : Methodology in a Multimodal World." Thesis, Stockholms universitet, Institutionen för pedagogik och didaktik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-102654.
Повний текст джерелаNamvar, Gharehshiran Amir. "High Level Synthesis Evaluation of Tools and Methodology." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177362.
Повний текст джерелаDirene, Alexandre Ibrahim. "Methodology and tools for designing concept tutoring systems." Thesis, University of Sussex, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334970.
Повний текст джерелаPowers, Brenda Joy. "A test methodology for reliability assessment of collaborative tools." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FPowers.pdf.
Повний текст джерелаMella, Luca. "Ict security: Testing methodology for targeted attack defence tools." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/6963/.
Повний текст джерелаKaruppoor, Srinand Sreedharan. "Tools for innovation and conceptual design." Texas A&M University, 2003. http://hdl.handle.net/1969.1/1260.
Повний текст джерелаSilva, Robson dos Santos e. "A rigorous methodology for developing GUI-based DSL formal tools." Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/12366.
Повний текст джерелаApproved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:57:10Z (GMT) No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-13T12:57:10Z (GMT). No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-23
It is well-known that model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting (specific) domain models. Domain models (conceptually) capture all the topics (for instance, entities and their attributes, roles, and relationships as well as more specific constraints) related to a particular problem. It is common to use domain-specific languages (DSL) to describe the concrete elements of such models. MDE tools can easily build domain-specific languages (DSL), capturing syntactic as well as static semantic information. However, we still do not have a clear way of capturing the dynamic semantics of a DSL as well as checking the domain properties prior to generating the implementation code. Formal methods are a well-known solution for providing correct software, where we can guarantee the satisfaction of desired properties. Unfortunately the available formal methods tools focus almost exclusively on semantics whereas human-machine interaction is "left to the user". Several industries, and in particular the safety-critical industries, use mathematical representations to deal with their problem domains. Historically, such mathematical representations have a graphical appeal. For example, Markov chains and fault-trees are used in safety assessment processes to guarantee that airplanes, trains, and other safety-critical systems work within allowed safety margins. In general, due to the difficulty to obtain correct software, such industries use Commercial Off-The-Shelf (COTS) software or build them specifically to satisfy their needs with a related testing campaign effort. Such DSLs are difficult to capture, using just MDE tools for instance, because they have specific semantics to provide the desired (core) information for the industries that use them. In this sense, given a DSL (L) composed of a syntax and static semantics (SSL), and dynamic semantics (DSL) parts, our work proposes a rigorous methodology for combining the easiness of MDE tools, to capture SSL, with the correctness assured by formal methods, to capture DSL as well and check its properties. This combination is specifically handled in the following way, we capture all aspects of L using formal methods, check the desired properties and adjust if necessary. After that, we automatically translate part of it in terms of constructs of a MDE tool, from which we can build a user-friendly (GUI) front-end very easily (automatically). Finally, we link the front-end code to the automatically synthesized code from the formal dynamic semantics back-end. Although we require the use of a formal methods tool, the distance from the mathematical representations used in industry and the formal methods notation is very close. With this proposed methodology we intend that safety-critical industries create their domain specific software as easy as possible and with the desired static and dynamic properties formally checked.
A Engenharia Dirigida a Modelos ou (MDE—Model-Driven Engineering) é uma metodologia de desenvolvimento de software que se concentra na criação e manipulação de modelos específicos de domínio. É comum o uso de linguagens específicas de domínio (DSL) para descrever os elementos concretos de tais modelos. Ferramentas de MDE podem facilmente construir linguagens específicas de domínio (DSL), capturando seus aspectos sintáticos assim como sua semântica estática. No entanto, ainda não possuem uma forma clara de capturar a semântica dinâmica de uma DSL, assim como a verificação de propriedades de domínio antes da geração de código executável. Métodos formais são tidos como uma solução para prover software correto, onde podemos garantir que desejadas propriedades são satisfeitas. Infelizmente, as ferramentas de métodos formais disponíveis concentram-se quase que exclusivamente na semântica enquanto que a interação homem-computador é "deixada para o usuário". Indústrias em que a segurança é crítica, usam representações matemáticas para lidar com os seus domínios de problemas. Historicamente, essas representações matemáticas têm um apelo gráfico. Por exemplo, Cadeias de Markov e Árvores de Falha. Em geral, devido à dificuldade em obter softwares formalmente verificados, essas indústrias utilizam sistemas comerciais prontos para uso (Commercial Off-the-shelf - COTS) ou os constróem especificamente para satisfazerem as suas necessidades com um esforço considerável em testes. Tais DSLs são difíceis de capturar, usando apenas ferramentas MDE por exemplo, porque possuem uma semântica particular para prover as informações específicas desejadas para as indústrias que as utilizam. Neste sentido, dada uma DSL (L), composta por sintaxe e semântica estática (SSL), e semântica dinâmica (DSL), este trabalho propõe uma metodologia rigorosa para combinar a facilidade de ferramentas MDE em capturar SSL, com a corretude assegurada por métodos formais para capturar DSL e verificar suas propriedades. Esta combinação é especificamente tratada da seguinte maneira: captura-se todos os aspectos de L utilizando métodos formais, verificam-se as propriedades desejadas e as ajustam caso necessário. Em seguida, parte de L é traduzida automaticamente em termos de artefatos para uma ferramenta MDE, a partir da qual é possível construir uma interface amigável (front-end) facilmente (automaticamente). Por fim, o código do front-end é integrado com o código sintetizado automaticamente a partir da semântica dinâmica formal (back-end).
Hsu, Yung-Kao. "A methodology for refining formal software specification using transformation-based tools." Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/8185.
Повний текст джерелаHerron, Colin. "A methodology to disseminate selected lean manufacturing tools into general manufacturing." Thesis, University of Newcastle Upon Tyne, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.505838.
Повний текст джерелаКниги з теми "Methodology and tools"
Fàbrega, Lluís, Pere Vilà, Davide Careglio, and Dimitri Papadimitriou, eds. Measurement Methodology and Tools. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7.
Повний текст джерелаMira, José, Angel Pasqual del Pobil, and Moonis Ali, eds. Methodology and Tools in Knowledge-Based Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-64582-9.
Повний текст джерелаInternational, Conference on Industrial &. Engineering Applications of Artificial Intelligence &. Expert Systems (11th 1998 Castellón Spain). Methodology and tools in knowledge-based systems. Berlin: Springer, 1998.
Знайти повний текст джерелаH, Dale Virginia, and English Mary R, eds. Tools to aid environmental decision making. New York: Springer, 1999.
Знайти повний текст джерелаAssociation, Information Resources Management. Research methods: Concepts, methodologies, tools, and applications. Hershey, PA: Information Science Reference, an imprint of IGI global, 2015.
Знайти повний текст джерелаObject-process methodology: A holistics systems paradigm. Berlin: Springer, 2002.
Знайти повний текст джерелаKobozeva, Nadezhda, and Vera Dunaeva. The quality of audit services: concept, methodology, tools. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1016909.
Повний текст джерелаCorporation, Digital Equipment. A methodology for software development using VMS tools. Maynard, Mass: D.E.C., 1988.
Знайти повний текст джерелаMargules, C. R. Guidelines for using the BioRap methodology and tools. Dickson: CSIRO, 1995.
Знайти повний текст джерелаAyer, Steve J. Integrating CASE tools with a systems design methodology. [Sunnyvale, Calif.]: Technical Communications Associates, 1990.
Знайти повний текст джерелаЧастини книг з теми "Methodology and tools"
Satoh, Shigeru. "Machizukuri methodology and tools." In Japanese Machizukuri and Community Engagement, 73–90. New York : Routledge, 2020. | Series: Planning, heritage and sustainability: Routledge, 2020. http://dx.doi.org/10.4324/9780429201851-8.
Повний текст джерелаGinnerskov-Dahlberg, Mette. "Methodology and analytical tools." In Student Migration from Eastern to Western Europe, 27–51. London: Routledge, 2021. http://dx.doi.org/10.4324/9781003056287-2.
Повний текст джерелаFàbrega, Lluís, Pere Vilà, Davide Careglio, and Dimitri Papadimitriou. "Introduction." In Measurement Methodology and Tools, 1–4. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_1.
Повний текст джерелаLópez de Vergara, J. E., and J. Aracil. "Measurements and Measurement Tools in OpenLab: Use Cases with Measurement Data Ontologies." In Measurement Methodology and Tools, 159–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_10.
Повний текст джерелаStéger, József, Sándor Laki, and Péter Mátray. "A Monitoring Framework for Federated Virtualized Infrastructures." In Measurement Methodology and Tools, 175–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_11.
Повний текст джерелаFàbrega, Lluís, Pere Vilà, Davide Careglio, and Dimitri Papadimitriou. "Summary and Conclusions." In Measurement Methodology and Tools, 195–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_12.
Повний текст джерелаPapadimitriou, Dimitri, Lluís Fàbrega, Pere Vilà, Davide Careglio, and Piet Demeester. "Measurement-Based Experimental Research Methodology." In Measurement Methodology and Tools, 5–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_2.
Повний текст джерелаAngelopoulos, Constantinos Marios, and Sotiris Nikoletseas. "Experimental Performance Evaluation of Sensor-Based Networking for Energy Efficiency in Smart Buildings." In Measurement Methodology and Tools, 23–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_3.
Повний текст джерелаLiu, Wei, Stratos Keranidis, Michael Mehari, Jono Vanhie-Van Gerwen, Stefan Bouckaert, Opher Yaron, and Ingrid Moerman. "Various Detection Techniques and Platforms for Monitoring Interference Condition in a Wireless Testbed." In Measurement Methodology and Tools, 43–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_4.
Повний текст джерелаGiatsios, Dimitris, Apostolos Apostolaras, Thanasis Korakis, and Leandros Tassiulas. "Methodology and Tools for Measurements on Wireless Testbeds: The NITOS Approach." In Measurement Methodology and Tools, 61–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41296-7_5.
Повний текст джерелаТези доповідей конференцій з теми "Methodology and tools"
Ningfang Song, Jiaomei Qin, Xiong Pan, and Yan Deng. "Fault injection methodology and tools." In 2011 International Conference on Electronics and Optoelectronics (ICEOE). IEEE, 2011. http://dx.doi.org/10.1109/iceoe.2011.6013043.
Повний текст джерелаOrtloff, Dirk, Jens Popp, Thilo Schmidt, Kai Hahn, Matthias Mielke, and Rainer Brück. "MEMS product engineering: methodology and tools." In SPIE MOEMS-MEMS, edited by Mary Ann Maher, Jung-Chih Chiao, and Paul J. Resnick. SPIE, 2011. http://dx.doi.org/10.1117/12.876104.
Повний текст джерелаGiacconi, Riccardo. "Methodology and tools for astronomical research." In Optical Telescopes of Today and Tomorrow, edited by Arne L. Ardeberg. SPIE, 1997. http://dx.doi.org/10.1117/12.269115.
Повний текст джерелаRiabtsev, G. L. "РOLICY ANALYSIS TOOLS: ENVIRONMENT RESEARCH METHODOLOGY". У DEVELOPMENT TRENDS IN PUBLIC MANAGEMENT AND ADMINISTRATION IN UKRAINE AND THE REPUBLIC OF POLAND. Izdevnieciba “Baltija Publishing”, 2023. http://dx.doi.org/10.30525/978-9934-26-371-2-9.
Повний текст джерелаDunlop, Al, Alper Demir, Peter Feldmann, Sharad Kapur, David Long, Robert Melville, and Jaijeet Roychowdhury. "Tools and methodology for RF IC design." In the 35th annual conference. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/277044.277155.
Повний текст джерелаSchotborgh, Wouter O., Maarten H. L. Ro¨ring, Roxana Grigoras, Frans G. M. Kokkeler, Hans Tragter, and Fred J. A. M. van Houten. "A Development Methodology for Parametric Synthesis Tools." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34421.
Повний текст джерелаPixley, Chittor, Meyer, McMaster, and Benua. "Functional verification 2003: technology, tools and methodology." In 2003 5th International Conference on ASIC Proceedings (IEEE Cat No 03TH8690) ICASIC-03. IEEE, 2003. http://dx.doi.org/10.1109/icasic.2003.1277478.
Повний текст джерелаCimren, Emrah, Robert Havey, and DongJin Kim. "A novel simulation methodology for modeling cluster tools." In 2013 Winter Simulation Conference - (WSC 2013). IEEE, 2013. http://dx.doi.org/10.1109/wsc.2013.6721746.
Повний текст джерелаPedram, Massoud, and Yanzhi Wang. "Design automation methodology and tools for superconductive electronics." In ICCAD '18: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3240765.3243470.
Повний текст джерелаHomayouni, Samira, Vaclav Raida, and Philipp Svoboda. "CMPT: A methodology of comparing performance measurement tools." In 2016 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). IEEE, 2016. http://dx.doi.org/10.1109/icumt.2016.7765349.
Повний текст джерелаЗвіти організацій з теми "Methodology and tools"
Franzon, Paul D. Methodology, Tools and Demonstration of MCM System Optimization. Fort Belvoir, VA: Defense Technical Information Center, July 1997. http://dx.doi.org/10.21236/ada328732.
Повний текст джерелаJoly, Martin, Paul Bourdoukan, Jan-Bleicke Eggers, Martin Andersen, Chris Bales, Gabriel Ruiz, Daniel Trier, Christine Weber, and Sebastian Herkel. Urban energy concept Solar district heating Methodology and tools:. IEA SHC Task 52, June 2018. http://dx.doi.org/10.18777/ieashc-task52-2018-0004.
Повний текст джерелаSpravka, John J., Marie E. Gomes, and Stephanie Lind. Tools for Automated Knowledge Engineering (TAKE) System Evaluation Methodology. Fort Belvoir, VA: Defense Technical Information Center, June 1994. http://dx.doi.org/10.21236/ada291145.
Повний текст джерелаBreisinger, Milena, and Emmanuel Boulet. Greenhouse Gas Assessment Emissions Methodology. Inter-American Development Bank, August 2012. http://dx.doi.org/10.18235/0009045.
Повний текст джерелаMenuhin, Jonathan. Innovation Ecosystem Management Methodology. Edited by Marcello Basani, Alejandro Minatta, and Cecilia Maroñas. Inter-American Development Bank, March 2024. http://dx.doi.org/10.18235/0012851.
Повний текст джерелаWalicki, Michal, Jens U. Skakkebaek, and Sriram Sankar. The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. Fort Belvoir, VA: Defense Technical Information Center, August 1991. http://dx.doi.org/10.21236/ada311136.
Повний текст джерелаWayant, Nicole. Adapting agile philosophies and tools for a research environment. Engineer Research and Development Center (U.S.), September 2022. http://dx.doi.org/10.21079/11681/45442.
Повний текст джерелаAimes, Ashley, Steven Ginnis, Cameron Garrett, and Elena Di Antonio. Developing rapid and effective communications testing: background and methodology. Food Standards Agency, February 2023. http://dx.doi.org/10.46756/sci.fsa.quz737.
Повний текст джерелаJorratt, Michel. Methodology for Measuring the Fiscal Effect of Regional Expenditures in Colombia. Inter-American Development Bank, June 2010. http://dx.doi.org/10.18235/0006625.
Повний текст джерелаYahupov, Vasyl V., Vladyslav Yu Kyva, and Vladimir I. Zaselskiy. The methodology of development of information and communication competence in teachers of the military education system applying the distance form of learning. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3852.
Повний текст джерела