Open AccessVerifying cross-cutting features as open systems
Author(s) -
Harry Li,
Shriram Krishnamurthi,
Kathi Fisler
Publication year - 2002
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/587065.587066
Subject(s) - computer science , feature (linguistics) , suite , software product line , model checking , feature model , software engineering , software , perspective (graphical) , runtime verification , formal verification , product line , programming language , software development , artificial intelligence , engineering , linguistics , archaeology , history , philosophy , manufacturing engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom