Verborgen velden
Boeken Boek
" Specification and Analysis of System Architecture Using Rapide", IEEE trans, on Software Engineering, Vol.21, No.4, April 1995, pp336-355. "
Building Reliable Component-based Software Systems - Pagina 55
door Ivica Crnkovic, Magnus Peter Henrik Larsson - 2002 - 454 pagina’s
Gedeeltelijke weergave - Over dit boek

Object-Oriented Behavioral Specifications

Haim Kilov, William Harvey - 2007 - 329 pagina’s
...ICSE- 1 8), March 1 996. [LKA95] DC Luckham, JJ Kenney, LM Augustin, J. Vera, D. Bryan and W. Mann, "Specification and analysis of system architecture...using Rapide," IEEE Trans, on Software Engineering, 2I(4):336-55, April 1995. See also http://anna.stanford.edu/rapide/rapide.html. [LV95] DC Luckham and...
Gedeeltelijke weergave - Over dit boek

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford ...

Jim Davies, Jeremy Gibbons - 2007 - 669 pagina’s
...Springer, Heidelberg (2004) 14. Luckham, D., Kenney, J., Augustin, L., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. on Software Engineering. IEEE Press, New York (1995) 15. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed...
Gedeeltelijke weergave - Over dit boek

Early Aspects: Current Challenges and Future Directions: 10th International ...

A. Moreira, John Grundy (Ph. D.) - 2007 - 208 pagina’s
...Design in the C2 Style. In: Proc. of ACM SIGSOFT 1996, USA, pp. 24-32 (October 1996) 10. Luckham, D., et al.: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Soft. Eng. 21(4), 336-355 (1995) 11. Batista, T., Chavez, C., Garcia, A., SantAnna, C., Kulesza, U.,...
Gedeeltelijke weergave - Over dit boek




  1. Mijn bibliotheek
  2. Help
  3. Geavanceerd zoeken naar boeken