| |
In Model Driven Engineering Languages and Systems, Vol. 5301 (2009), pp. 537-552.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204.
|
| |
SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68.
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
No. Planning Report 02-3. (May 2002)
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
|
| |
SIGSOFT Software Engineering Notes, Vol. 21, No. 4. (July 1996), pp. 64-66.
|
| |
In MFCSIT 2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Vol. 40 (2001), pp. 361-391.
|
| |
Formal Aspects of Computing, Vol. 12, No. 3. (November 2000), pp. 165-181.
|
| |
IEEE Transactions on Software Engineering, Vol. 26, No. 8. (August 2000), pp. 675-686.
|
Search
Export
Sort
