1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2016
Automating Verification of Event-B Models
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah +1
Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an ec…
cs.SE2016★ 1 cited
Towards Dependable Change Management and Traceability for Global Software Development
David Ebo Adjepon-Yamoah
This paper reports on our definition of guidelines for managing global software development (GSD) that implements the specific practice - manage requirements changes - of the Capab…