4 citations · 6 across the 7 of their papers we have counts for
3 papers · 1 filter
Translating Event-B machines to Eiffel programs
Victor Rivera, JooYoung Lee, Manuel Mazzara +1
Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties. However, there is still not a clear und…
Software Quality - Traditional vs. Agile: an Empirical Investigation
Mohamad Kassab, JooYoung Lee, Manuel Mazzara +2
It is well known that the software process impacts the quality of the resulting product. There are also anecdotal claims that agile processes result in higher level of quality than…
Quality Attributes in Practice: Contemporary Data
Rasul Tumyrkin, Manuel Mazzara, Mohammad Kassab +2
It is well known that the software process in place impacts the quality of the resulting product. However, the specific way in which this effect occurs is still mostly unknown and…