Search Results for Software Design. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300? 2024-11-14T03:46:18Z Introduction to Software Design with Java ent://SD_ILS/0/SD_ILS:486330 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Robillard, Martin P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques: Design for Quality ent://SD_ILS/0/SD_ILS:166267 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Sacha, Krzysztof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software design for engineers and scientists ent://SD_ILS/0/SD_ILS:254657 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Robinson, John A. (John Allen), 1958-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750660808">http://www.sciencedirect.com/science/book/9780750660808</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Software Design The Object-Oriented Way ent://SD_ILS/0/SD_ILS:235289 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Rouson, Damian.&#160;Xia, Jim.&#160;Xu, Xiaofeng.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511977381">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3&ndash;5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401983 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402217 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures ent://SD_ILS/0/SD_ILS:489035 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Damiani, Ferruccio. editor.&#160;Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Science Methodology for Information Systems and Software Engineering ent://SD_ILS/0/SD_ILS:487890 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Wieringa, Roel J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334438 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334438.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196768 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29788-5">http://dx.doi.org/10.1007/978-3-642-29788-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures ent://SD_ILS/0/SD_ILS:197000 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Cortellessa, Vittorio. editor.&#160;Pierantonio, Alfonso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures ent://SD_ILS/0/SD_ILS:194706 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Issarny, Val&eacute;rie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The design and implementation of multimedia software with examples in Java ent://SD_ILS/0/SD_ILS:365589 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernstein, David, 1960 June 9-<br/>Preferred Shelf Number&#160;QA76.76.I59 B47 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures ent://SD_ILS/0/SD_ILS:192413 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Process Algebraic Approach to Software Architecture Design ent://SD_ILS/0/SD_ILS:175768 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Aldini, Alessandro. author.&#160;Bernardo, Marco. author.&#160;Corradini, Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures ent://SD_ILS/0/SD_ILS:190163 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Padovani, Luca. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Software Co-Design of a Multimedia SOC Platform ent://SD_ILS/0/SD_ILS:170593 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Chen, Sao-Jie. author.&#160;Lin, Guang-Huei. author.&#160;Hsiung, Pao-Ann. author.&#160;Hu, Yu-Hen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures ent://SD_ILS/0/SD_ILS:185637 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Degano, Pierpaolo. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE ent://SD_ILS/0/SD_ILS:198347 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;F&auml;hnrich, Klaus-Peter. editor.&#160;Husen, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7908-1944-1">http://dx.doi.org/10.1007/978-3-7908-1944-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures ent://SD_ILS/0/SD_ILS:186566 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Hillston, Jane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems ent://SD_ILS/0/SD_ILS:184735 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Lanza, Michele. author.&#160;Marinescu, Radu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 3 Domains, Requirements, and Software Design ent://SD_ILS/0/SD_ILS:183791 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bj&oslash;ner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures ent://SD_ILS/0/SD_ILS:184002 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Cimatti, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA ent://SD_ILS/0/SD_ILS:181242 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Barth, Timothy J. editor.&#160;Griebel, Michael. editor.&#160;Keyes, David E. editor.&#160;Nieminen, Risto M. editor.&#160;Roose, Dirk. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138692">http://dx.doi.org/10.1007/b138692</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures ent://SD_ILS/0/SD_ILS:183088 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Bernardo, Marco. editor.&#160;Bogliolo, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies ent://SD_ILS/0/SD_ILS:236067 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Zhuk, Jeff.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511547058">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability benchmarking for computer systems ent://SD_ILS/0/SD_ILS:249772 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Kanoun, Karama.&#160;Spainhower, Lisa.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering for image processing systems ent://SD_ILS/0/SD_ILS:286473 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Laplante, Phillip A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203496107">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics software engineering delivering effective applications ent://SD_ILS/0/SD_ILS:295806 2024-11-14T03:46:18Z 2024-11-14T03:46:18Z Author&#160;Weston, Paul, HGMP.&#160;John Wiley &amp; Sons.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/0470030143">http://dx.doi.org/10.1002/0470030143</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>