| |
Software, IET In Software, IET, Vol. 2, No. 3. (2008), pp. 281-302.
|
| |
|
| |
|
| |
In Proceedings for the 14^$th$ International Conference on Functional Programming (2009)
|
| |
Journal of functional programming, Vol. 12, No. 02. (2002), pp. 159-182.
|
| |
In Fifth IEEE International Symposium on Requirements Engineering, 2001. Proceedings (2001), pp. 48-55.
|
| |
Lecture Notes in Computer Science, Vol. 3844 (2006)
|
| |
|
| |
|
| |
ECOOP’ 99 — Object-Oriented Programming (1999), pp. 669-669.
|
| |
Software Composition (2008), pp. 20-35.
|
| |
|
| |
|
| |
ABZ, Vol. 5238, pp. 125-138.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (1995), pp. 507-535.
|
| |
|
| |
|
| |
In In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (1997)
|
| |
Lecture Notes in Computer Science, Vol. 4574 (2007)
|
| |
In Integrated Formal Methods: 7th International Conference, IFM 2009, D{ü}sseldorf, Germany, February 16-19, 2009, Proceedings (2009)
|
| |
Requirements Engineering Conference, 2006. RE 2006. 14th IEEE International (2006), pp. 136-145.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 16-30.
|
| |
Formal Methods and Software Engineering (2008), pp. 25-44.
|
| |
Abstract State Machines, B and Z (2008), pp. 294-308.
|
| |
|
| |
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on (2001), pp. 48-55.
|
| |
Seventh Framework Programme Theme (12 October 2007)
|
| |
Software, IEEE, Vol. 6, No. 3. (1989), pp. 10-17.
|
| |
|
| |
|
| |
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 534-543.
|
| |
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 311-320.
|
| |
FM 2008: Formal Methods (2008), pp. 198-213.
|
| |
|
| |
In The Stanford Encyclopedia of Philosophy (Spring 2009)
|
| |
|
| |
Component-Based Software Engineering (2007), pp. 274-282.
|
| |
Fundam. Inf., Vol. 77, No. 1-2. (2007), pp. 1-28.
|
| |
Integrated Formal Methods (2009), pp. 20-38.
|
| |
Software, IEEE In Software, IEEE, Vol. 11, No. 5. (1994), pp. 89-94.
|
| |
URL http://www. cl. cam. ac. uk/mgk25/iso-14977. pdf
posted to ebnf by jhs06r
on 2009-03-23 02:27:00
as 
|
| |
|
| |
Software Product Lines (2004), pp. 266-283.
|
| |
Proceedings of IIT. SRC (2005), pp. 139-144.
|
| |
Software Reuse, 1998. Proceedings. Fifth International Conference on (1998), pp. 76-85.
|
| |
Abstract State Machines, B and Z (2008), pp. 347-347.
|
| |
|
Search
