Results of search for 'ccl=Host-item:("Software Engineering ")'

Results
		Approximate Mean Value Analysis for Stochastic Maked Graphs by Mainkar, Varsha Trivedi, Kishor S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Derivation of Data Intensive Algorithms by Formal Trans FormationSchnorr-Waite Graph Marking Algorithm by Ward, Martin Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Modular Algebraic Nets to Specify Concurrent Systems by Battiston, Eugenio Cindio, Florelia De Muri, Giancarlo Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Software Development Productivity of European Space, Military and Industrial Applications by Maxweli, Katrina D Wassenhove, Luk Van Dutta, Soumitra Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Methodology for Testing Intrusion Detection Systems by Puketza, Nicholas J Chung, Mandy Mukherjee, Biswanath Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Memantics-Based Inference Algorithms for Adaptive Visual Environments by Vitielio, Giuliana Ferrucci, Filomena Tortora, Genoveffa Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Validation of Object-Oriented Design Metrics as Quality Indicators by Basili, Victor R Melo, Walcelio L Briand, lionel C Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Guaranteeing Good Memory Bounds for Paraliel Programs by Burton, F. Warren Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Accountability in Electronic Commerce Protocols by Kailar, Rajashekar Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Network Pump by Kang, Myong H Moskowitz, Ira S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Knowledge-Based Approach ToAnalysis of Loops by Abd-El-Hafiz, Salwa K Wendling, Philippe F Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Completeness and Consistency in Hierarchical State-Based Requirements by Heimdahl, Mats P.E Leveson, Nancy G Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Framework for Evaluating Specification Methods for Reactive Systems Experience Report by Ardis, Mark A Puchol, Carios Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Component- and Message-Based Architectural Style Gui Softwars by Taylor, Richard N Nies, Kari A Dubrow, Deborah L Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Supporting Search for Reusable Software Objects by Isakowitz, Tomas Kauffman, Robert J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Identification of Dynamic Comprehension Processes During Large Scale Maintenamce by Harrold, Mary Jean Rothermel, G Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Separate Computation of Alias Information for Reuse by Harrold, Mary Jean Rothermel, G Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Timing Analysis of Ada Tasking Programs by Corbett, J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Elements of Style Analyzing a Software Design Feature with a Counterexample Detector by Jackson, D. K Damon, Craig A Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Using Parial-Order Methods in Formal Validation of Industrial Concurrent Programs by Codefroid, Patrice Staskauskas, Mark Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 800 results.