Using formal methods for teaching software engineering: a tool-based approach

By Ciancarini P.   Mascolo C.  

Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. : 433-453

Springer Publishing Company

Access to resources Recommend Favorite

Micro-specific design flow for tool-based microtechnologies

By Albers Albert   Burkardt Norbert   Deigendesch Tobias   Marz Jochen  

Microsystem Technologies, Vol. 13, Iss. 3-4, 2007-02 ,pp. : 305-310

Springer Publishing Company

Access to resources Recommend Favorite

TCAMChecker: A Software Approach to the Error Detection and Correction of TCAM-Based Networking Systems

By Shafiq M.  

Journal of Network and Systems Management, Vol. 21, Iss. 3, 2013-09 ,pp. : 335-352

Springer Publishing Company

Access to resources Recommend Favorite

Refactoring packages of object-oriented software using genetic algorithm based community detection technique

By Pan Weifeng   Jiang Bo   Xu Youyang  

International Journal of Computer Applications in Technology, Vol. 48, Iss. 3, 2013-10 ,pp. : 185-194

Inderscience Publishers

Access to resources Recommend Favorite

Use of a multidimensional approach to study the evolution of software complexity

By Sangwan Raghvinder  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 299-310

Springer Publishing Company

Access to resources Recommend Favorite