Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

First Page		Document Content
Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes		Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Download Document from Source Website File Size: 350,71 KB Share Document on Facebook

	Call for Papers Programming for Separation of Concerns (6th edition) http://www.dmi.unict.it/~tramonta/PSC10/ DocID: 1rpw5 - View Document
	Vol. 5, No. 1, January–FebruaryNew Perspective To Improve Reusability in Object-Oriented Languages Philippe Lahire, Laurent Quintian, I3S Laboratory, University of Nice-Sophia Antipolis and CNRS, France DocID: 1rkCp - View Document
	ACIS International Journal of DocID: 1rhFr - View Document
	Metamodel-independent modularisation of models with MetaMod∗ Ana Maria Sutîi ¸ Tom Verhoeff DocID: 1r7Wg - View Document
	S E C O N D I N T E R N AT I O N A L C O N F E R E N C E O N Aspect-Oriented Software Development March 17–21, 2003 DocID: 1r0mw - View Document