Invariants generation for method overriding using abstract interpretation /

Invariants generation for method overriding using abstract interpretation /

Saved in:

书目详细资料
主要作者:	Siti Hafizah Ab. Hamid
格式:	Thesis 图书
语言:	English
出版:	2013.
主题:	Object-oriented programming (Computer science) Object-oriented programming languages. Computer software > Verification. Software engineering.
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Access methods on aggregation hierarchy for object-oriented databases /
由: Ng, Soh Hai
出版: (1995)

Concurrent object-oriented scheme /
由: Guo, Danwei
出版: (1998)

Design patterns detection tool /
由: Fares, Wael M. K.
出版: (2008)

PMAFw : an object-oriented application framework intergrated environment for production management application development /
由: Thin, Siew Khim
出版: (2004)

Object-oriented financial database and analysis system /
由: Xin, Hong Yan
出版: (1995)

Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF /
由: Asmiza Abdul Sani
出版: (2007)

Extracting Object Oriented Software Architecture from C++ Source Code
由: Mresa, Ali Hussein A.
出版: (2000)

Object oriented testing : an automated testing tool for C++ classes : C++ class implementation, specification & testing system (CIST) /
由: Chong, Philip Yee Fatt
出版: (1995)

A Java source code analyzer and visualizer for documentation and reuse of object oriented programming /
由: Bonakdar, Ali
出版: (2010)

Transparent persistence framework for multiple persistence mechanisms /
由: Jusic, Samir
出版: (2006)

Development of a customisable object-oriented tool for production planning /
由: Ching, Gwek Cheng
出版: (2002)

JCASE : Java based case tool skeleton /
由: Chen, Ai-Min
出版: (1997)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
由: Bello, AbdulKarim
出版: (2019)

Cohesion metric for java inner class
由: Tee, Sim Hui
出版: (2012)

Interweaving policies into objects to facilitate software maintenance /
由: Lee, Shwu Yi
出版: (1997)

Extolware : a persistence framework for persistent objects definition and management /
由: Lim, Tong Ming
出版: (2004)

A case tool for UML via meta-modeling approach /
由: Rosnafisah Sulaiman
出版: (1999)

Early quality assessment of object-oriented code through a software quality model /
由: Loh, Ervin Chuan Ho
出版: (2013)

Using learning objects technology in learning styles of higher education students /
由: Tan, Hock Chuan
出版: (2006)

A high-order logic for object-oriented logic programming /
由: Wee, Boon Tun
出版: (1998)

Testable code detection tool for object oriented programming. A tool for novice programmer
由: Hisamudin, Saiful Bahri
出版: (2019)

SOAP performance enhancement for high volume messaging /
由: Dauda, Ali Baba
出版: (2018)

Symbolic computation and object-oriented programming /
由: Tan, Kiat Shi
出版: (1997)

Class complexity interaction point size measure for object-oriented software development effort estimation
由: Koh, Tieng Wei
出版: (2012)

An object oriented approach to image processing /
由: Abraham, Francy Kunnel
出版: (1994)

An object-oriented data automation system for Microsoft Excel files /
由: Ng, Lee Yean
出版: (2003)

Model pengaplikasian corak dalam proses perisian berorientasikan objek untuk pembangun novis /
由: Norhafizah Hashim
出版: (2005)

Guidelines for evaluating fundamental object-oriented concepts (GuideSCoRE) /
由: Norazlina Khamis
出版: (2012)

An implementation of an object-oriented rule-based approach to enhance software maintenance /
由: Lim, Wie Ming.
出版: (1991)

A model integration framework for modeling in the large /
由: Wang, Shi Ping
出版: (1997)

Object-oriented application framework for statistical process control in manufacturing domain /
由: Liu, Hong Song

Satu pakej komputer rekabentuk ujikaji faktoran penuh 2k dan rekabentuk ujikaji faktoran pecahan 2k-p
由: Quah, Hooi Yong
出版: (1996)

A hybrid framework documentation approach for effective use of object-oriented application framework documentation /
由: Hajar Mat Jani
出版: (2009)

An object-based concurrent language ABCL/1 on transputers /
由: Lai, Siet Leng
出版: (1992)

OOADitor : a case tool for object-oriented analysis and design /
由: Sitiol, Augustina Aegidius
出版: (2002)

Middleware Component Using Enterprise Java Bean (EJB)
由: Kannan, Kavitha
出版: (2003)

Using object-oriented data management techniques in document imaging systems /
由: Cheng, Jang Thye
出版: (1993)

A CORBA-based real-time stream service for ATM networks /
由: Sapkota, Bhawani S.
出版: (1997)

The Usage of Object Oriented Approach in Software Development Companies
由: Vikneswary, Anne
出版: (2003)

Acquiring development work-products for object-oriented application development /
由: Faridah Hani Mohamed Salleh
出版: (2005)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group