Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Abrial, J.-R.: The B-Book - Assigning programs to Meanings. Cambridge University Press, Cambridge (1995)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS) (2007)
3. Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the small scope hypothesis (2002)
4. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
5. Borgida, A., Mylopoulos, J., Reiter, R.: On the Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering 21(10), 785–797 (1995)