An empirical investigation of architectural prototyping
Journal of Systems and Software
Lightweight and continuous architectural software quality assurance using the aSQA technique
ECSA'10 Proceedings of the 4th European conference on Software architecture
Hi-index | 0.00 |
Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high ...