Books on the topic 'SDL'

Pazera, Ernest. Focus on SDL. Cincinnati, Ohio: Premier Press, 2002.

Reed, Rick, and Jeanne Reed, eds. SDL 2001: Meeting UML. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-48213-x.

Hogrefe, Dieter. Estelle, LOTOS und SDL. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-74238-5.

Reed, Rick, and Jeanne Reed, eds. SDL 2003: System Design. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-45075-0.

Prinz, Andreas, Rick Reed, and Jeanne Reed, eds. SDL 2005: Model Driven. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b137793.

Breed, P. J. Modelling SDL in VHDL. Manchester: UMIST, 1994.

Karabegov, A. V. Vvedenie v i︠a︡zyk SDL. Moskva: Radio i svi︠a︡zʹ, 1993.

SDL Forum (8th 1997 Evry, Essonne, France). SDL ʼ97: Time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997. Amsterdam: Elsevier, 1997.

1956-, Olsen Anders, ed. Systems engineering using SDL-92. Amsterdam: North-Holland, 1994.

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL user guidelines. Geneva: International Telecommunication Union, 1989.

W, Smith Jared R., and Reed Rick, eds. Telecommunications systems engineering using SDL. Amsterdam: North-Holland, 1989.

Validation of communications systems with SDL: The art of SDL simulation and reachability analysis. Chichester: Wiley, 2003.

Andreas, Prinz, Reed Rick, and Reed Jeanne 1948-, eds. SDL 2005: Model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings. Berlin: Springer, 2005.

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL formal definition : introduction. Geneva: International Telecommunications Union, 1989.

Khendek, Ferhat, Maria Toeroe, Abdelouahed Gherbi, and Rick Reed, eds. SDL 2013: Model-Driven Dependability Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38911-5.

Gaudin, Emmanuel, Elie Najm, and Rick Reed, eds. SDL 2007: Design for Dependable Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74984-4.

Doldi, Laurent. Validation of Communications Systems with SDL. Chichester, UK: John Wiley & Sons, Ltd, 2003. http://dx.doi.org/10.1002/0470014156.

Serrano, Alberto Garci a. Programacio n de videojuegos con SDL. Sevilla: Ediversitas Multimedia, 2003.

Rushton, P. D. Synthesizable VHDL implementation of SDL systems. Manchester: UMIST, 1995.

Lindqvist, Markus. Translating SDL into Pr T-Nets. Sankt Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1987.

Smith, J. R. W. SDL (System DesignLanguage): A debrief report. Manchester: NCC, 1986.

Belina, Ferenc. SDL with applications from protocol specification. Hemel Hempstead, Herfordshire: Prentice Hall International (UK), 1991.

SDL Forum (6th 1993 Darmstadt, Germany). SDL '93, using objects: Proceedings of the Sixth SDL Forum, Darmstadt, Germany, 11-15 October 1993. Amsterdam: North-Holland, 1993.

SDL, Forum (9th 1999 Montréal Québec). SDL '99, the next millennium: Proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999. Amsterdam: Elsevier, 1999.

Khendek, Ferhat. SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Emmanuel, Gaudin, Najm Elie, Reed Rick, and LINK (Online service), eds. SDL 2007: design for dependable systems: 13th international SDL forum, Paris, France, September 18-21, 2007 : proceedings. Berlin: Springer, 2007.

Ober, Iulian, and Ileana Ober, eds. SDL 2011: Integrating System and Software Modeling. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25264-8.

Reed, Rick, Attila Bilgic, and Reinhard Gotzhein, eds. SDL 2009: Design for Motes and Mobiles. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04554-7.

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL formal definition : dynamic semantics. Geneva: International Telecommunication Union, 1989.

International Telegraph and Telephone Consultative Committee. Plenary Assembly. Blue book.: SDL formal definition : static semantics. Geneva: International Telecommunication Union, 1989.

SDL Forum (7th 1995 Oslo, Norway). SDL '95 with MSC in CASE: Proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995. Amsterdam: Elsevier, 1995.

SDL Forum (5th 1991 Glasgow, Scotland). SDL '91: Evolving methods : proceedings of the Fifth SDL Forum, Glasgow, Scotland, UK, 29 September-4 October, 1991. Amsterdam: North-Holland, 1991.

SDL Forum (4th 1989 Lisbon, Portugal). SDL '89: The language at work :proceedings of the Fourth SDL Forum, Lisbon, Portugal, 9-13 October, 1989. Amsterdam: North-Holland, 1989.

Reinhard, Gotzhein, Bilgic Attila, and SpringerLink (Online service), eds. SDL 2009: Design for Motes and Mobiles: 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Fischer, Joachim, Markus Scheidgen, Ina Schieferdecker, and Rick Reed, eds. SDL 2015: Model-Driven Engineering for Smart Cities. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24912-4.

Csöndes, Tibor, Gábor Kovács, and György Réthy, eds. SDL 2017: Model-Driven Engineering for Future Internet. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68015-6.

R, Saracco, and Tilanus P. A. J, eds. SDL '87: State of the art and future trends : proceedings of the Third SDL Forum, The Hague, the Netherlands, April 1987. Amsterdam: North-Holland, 1987.

Sherratt, Edel, ed. Telecommunications and beyond: The BroaderApplicability of SDL and MSC. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36573-7.

Systems engineering with SDL: Developing performance-critical communications systems. Chichester, [Eng.]: J. Wiley, 2001.

Œystein, Haugen, ed. Engineering real-time systems: An object-oriented methodology using SDL. New York: Prentice Hall, 1993.

J, Turner Kenneth, ed. Using formal description techniques: An introduction to Estelle, LOTOS, and SDL. Chichester [England]: Wiley, 1993.

Using formal description techniques: An introduction to Estelle, Lotos and SDL. Chichester: Wiley, 1992.

Heck, Elke. Performance evaluation of formally specified systems: The integration of SDL with HIT. Münster: Krehl Verlag, 1996.

Steve, Lipner, ed. The security development lifecycle: SDL, a process for developing demonstrably more secure software. Redmond, Wash: Microsoft Press, 2006.

1958-, Sherratt Edel, ed. Telecommunications and beyond: The broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers. New York: Springer, 2003.

SDL '99. Elsevier, 1999. http://dx.doi.org/10.1016/b978-0-444-50228-5.x5000-0.

Sdl '99. Elsevier Science, 1999.

SDL Forum (4th 1989 Lisbon, Portugal). SDL '89. North-Holland, 1989.

Sarma, Amardeo, and Ana Cavalli. SDL '97 : Time for Testing: SDL, MSC and Trends. Elsevier Science & Technology Books, 1997.

Mitchell, Shaun Ross. SDL Game Development. Packt Publishing, Limited, 2013.