Your search returned 15 results.

Results
		Analysis of Formal Methods for Specification of E-Commerce Applications by Khan, Sadiq Ali Jamshed, Huma Source: Mehran University Research Journal of Engineeering and Technology 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
		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
		Where Do Operations Come from a Multiparadigm Specification Technique by Zave, Pamela Jackson, Michael Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Formal Framework for Astral Intralevel Proof Obligations by Coen-Porisini, Alberto Kemmerer, Richard A Mandrioli, Dino Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Compositional Programming Abstractions for Mobile Computing by Mccann, Peter J Roman, Gruia-Catalin Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms by Rushby, John Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Using a Protean Language to Enhance Expressiveness in Specification by Bloom, Bard Dsouza, Ashvin Dsouza, Ashvin Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Model Checker Spin by Holzmann, Gerard J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Experiences Using lightweight Formal Methods for Requirements Modeling by Keliy, John Hamilton, D Covington, Richard Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Lessons from Using Z to Specify a Software Tool by Neil, M Ostrolenk, Gary Southworth, Mark Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Sofl a Formal Engineering Methodlogy for Industrial Applications by liu, Shaoying Offutt, Jeff Sun, Yong Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Component Based Design of Multitolerant Systems by Arora, Anu Kulkarni, S. S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Specitication of Realtime Systems Using Astral by Coen-Porisinio, Alberto Ghezzi, Carlo Kemmerer, Richard A Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		L. 0: a Truly Concurrent Executable Temporal Logic Language for Protocols by Ness, linda Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem