BibSonomy :: 
tag ::
order by
(
date
|
folkrank
)
The blue social bookmark and publication sharing system.
- (2011)cited By since 1996 0; Conference of IEEE 2nd International Conference on Computing, Control and Industrial Engineering, CCIE 2011; Conference Date: 20 Aug...cited By since 1996 0; Conference of IEEE 2nd International Conference on Computing, Control and Industrial Engineering, CCIE 2011; Conference Date: 20 August 2011 through 21 August 2011; Conference Code: 86652.
- International Journal of Computer and Electrical Engineering IJCEE 2(3):481-485 (June 2010)
- Software Engineering, IEEE Transactions on 17(12):1229-1240 (December 1991)
- Molecular Simulation 32(14--15):1005-1017 (December 2005)
- (1989)
- Leveraging Applications of Formal Methods, Verification and Validation, 17, (2009)
- Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, page 39-48. (2007)
- RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering, page 253--362. Washington, DC, USA, IEEE Computer Society, (2005)
- Formal Methods for Software Architectures (2003)
- ICSE '96: Proceedings of the 18th international conference on Software engineering, page 60--69. Washington, DC, USA, IEEE Computer Society, (1996)
- Conceptual Modeling - ER 2006, page 281-295. Springer, (2006)
- IEEE Software 18(1):92--96 (2001)
- Kluwer Academic Publishers, Boston/Dordrecht/London, (2000)
- Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, page 53-56. (2007)
- Journal of Economic Dynamics and Control 21(2-3):329--345 (December 1996)
- ICRE '98: Proceedings of the 3rd International Conference on Requirements Engineering, page 74--81. Washington, DC, USA, IEEE Computer Society, (1998)
- IEEE Trans. Softw. Eng. 20(10):760--773 (1994)
