Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Less, A.: Elementary Tutorial for the PVS Specification and Verification System. Technical Report CSL-95-10, SRI International (August 1996)
2. Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis. Journal of Software Maintenance and Evolution: Research and Practice (September 2005)
3. Atkinson, C., Bayer, J., Bunse, C.: Component-Based Product Line Engineering with UML. Addison-Wesley, Reading (2002)
4. Lecture Notes in Computer Science;T. Barros,2005
5. Campbell, L., Cheng, B., McUmber, W., Stirewalt, R.E.K.: Automatically Detecting and Visualising Errors in UML Diagrams. Requirements Engineering 7, 264–287 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献