Search Results for Software Design. - Narrowed by: 2006SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026pe$003dd$00253A$0026ps$003d300?2024-11-17T14:29:41ZSoftware specification and design an engineering approachent://SD_ILS/0/SD_ILS:2873862024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Munson, John C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496299">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability 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 Lecturesent://SD_ILS/0/SD_ILS:1840022024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern industrial automation software design principles and real-world applicationsent://SD_ILS/0/SD_ILS:2494962024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Wang, Lingfen. Tan, Kay Chen.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 3 Domains, Requirements, and Software Designent://SD_ILS/0/SD_ILS:1837912024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systemsent://SD_ILS/0/SD_ILS:1847352024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Trends and perspectives in modern computational science lectures presented in the International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2006) : recognised conference by the European Society of Computational Methods in Sciences and Engineering (ESCMSE)ent://SD_ILS/0/SD_ILS:2890532024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Maroulis, George. Simos, T. E. European Society of Computational Methods in Science and Engineering.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789047418627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>In silico technologies in drug target identification and validationent://SD_ILS/0/SD_ILS:2903372024-11-17T14:29:41Z2024-11-17T14:29:41ZAuthor Len̤, Darryl. Markel, Scott.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420015737">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>