Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Project management / Computer programming / Refinement / B-Method / Feature model / Model checking / Object Process Methodology / Software development process / Algorithm / Economic model


Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK
Add to Reading List

Document Date: 2007-12-11 09:56:52


Open Document

File Size: 307,28 KB

Share Result on Facebook
UPDATE