Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool, Integrating object oriented design and formal verification. Software and Systems Modeling 4, 32–54 (2005)
2. Lecture Notes in Computer Science;T. Baar,2006
3. Babes-Bolyai. Object Constraint Language Environment 2.0,
http://lci.cs.ubbcluj.ro/ocle/
4. Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering 21, 785–798 (1995)
5. Borland. Borland® Together® Architect (2006)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bibliography;Object-Oriented Analysis and Design for Information Systems;2024
2. Automated Mitigation of Frame Problem in UML Class Diagram Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. AspectOCL: using aspects to ease maintenance of evolving constraint specification;Empirical Software Engineering;2019-05-04
4. Adapting Integrity Checking Techniques for Concurrent Operation Executions;Lecture Notes in Computer Science;2019
5. Generation and Validation of Frame Conditions in Formal Models;Communications in Computer and Information Science;2019