15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland.
IEEE Computer Society 2008
15. ECBS 2008:
Belfast, Northern Ireland
: Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.
Tony Spiteri Staines
: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.
: Introducing Agile Development Practices from the Middle.
, Kevin McDaid
: Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value.