Books on the topic 'AUTOMATED SOFTWARE ENGINEERING'

N, Earl Anthony, and McDermid John, eds. Software engineering environments: Automated support for software engineering. London: McGraw-Hill, 1992.

Schumann, Johann M. Automated Theorem Proving in Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-22646-9.

Satapathy, Suresh Chandra, Ajay Kumar Jena, Jagannath Singh, and Saurabh Bilgaiyan. Automated Software Engineering: A Deep Learning-Based Approach. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-38006-9.

1962-, Liu Jiming, Cheung Yiuming 1971-, and Yin Hujun 1962-, eds. Intelligent data engineering and automated learning: Revised papers. Berlin: Springer, 2003.

J, Berndt Donald, and Kandel Abraham, eds. Automated database applications testing: Specification representation for automated reasoning. Singapore: World Scientific, 2010.

Ito, Takayuki. Complex Automated Negotiations: Theories, Models, and Software Competitions. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

service), SpringerLink (Online, ed. Automated Configuration Problem Solving. New York, NY: Springer New York, 2012.

IEEE International Automated Software Engineering Conference (19th 2004 Linz, Austria). 19th IEEE International Conference on Automated Software Engineering: Proceedings : September 20-24, 2004, Linz, Austria. Los Alamitos, Calif: IEEE Computer Society, 2004.

Sunazuka, Toshihiko. Integrating automated support for a software management cycle into the TAME system. College Park, Md: University of Maryland, 1989.

Society, IEEE Computer, SIGART, ACM Sigsoft, University of California, Irvine. Institute for Software Research., City University (London, England). School of Informatics., and University of California, Irvine. Dept. of Information and Computer Science., eds. The 20th IEEE/ACM International Conference on Automated Software Engineering: Long Beach, California, USA, November 7-11, 2005. New York, N.Y: Association for Computing Machinery, 2005.

Myler, Harley R. Automated knowledge generation: First year final report. [Washington, DC: National Aeronautics and Space Administration, 1988.

1962-, Yin Hujun, ed. Intelligent data engineering and automated learning-IDEAL 2002: Third international conference, Manchester, UK, August 2002 : proceedings. Berlin: Springer, 2002.

Ayer, Steve J. Design specifications for an automated documentation system: A CASE approach to preparing computer systems analysis and design documentation. Sunnyvale, CA: Technical Communications Associates, 1990.

IEEE International Automated Software Engineering Conference (13th 1998 Honolulu, Hawaii). Proceedings, 13th IEEE International Conference on Automated Software Engineering: October 13-16, 1998, Honolulu, Hawaii. Los Alamitos, California: IEEE Computer Society, 1998.

Emilio, Corchado, Yin Hujun 1962-, Botti Vicente, and Fyfe Colin, eds. Intelligent data engineering and automated learning - IDEAL 2006: Data mining, financial engineering, and intelligent agents : 7th international conference, Burgos, Spain, September 20-23, 2006 : proceedings. Berlin: Springer, 2006.

Viorica, Sofronie-Stokkermans, and SpringerLink (Online service), eds. Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

IEEE International Automated Software Engineering Conference (14th 1999 Cocoa Beach, Fla.). The 14th IEEE International Conference on Automated Software Engineering: October 12-15, 1999, Cocoa Beach, Florida, USA. Los Alamitos, Calif: IEEE Computer Society, 1999.

IEEE Computer Society. Software Engineering Technical Committee., SIGART, ACM Sigsoft, and Scottish Embedded Software Centre, eds. ASE 2002: 17th IEEE International Conference on Automated Software Engineering : proceedings : 23-27 November, 2002, Edinburgh, UK. Los Alamitos, Calif: IEEE Computer Society, 2002.

Effective GUI test automation: Developing an automated GUI testing tool. San Francisco, Calif: SYBEX, 2005.

IEEE International Automated Software Engineering Conference (12th 1997 Incline Village, Nevada). Proceedings 12th IEEE International Conference Automated Software Engineering: November 1-5, 1997, Incline Village, Nevada, USA. Los Alamitos, CA: IEEE Computer Society, 1997.

Colin, Fyfe, ed. Intelligent data engineering and automated learning: IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings. Berlin: Springer, 2008.

IDEAL, 2004 (2004 Exeter England). Intelligent data engineering and automated learning: 5th international conference, Exeter, UK, August 25-27, 2004 : proceedings. Berlin: Springer, 2004.

Bonacina, Maria Paola. Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Egly, Uwe. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.

Yin, Hujun. Intelligent Data Engineering and Automated Learning - IDEAL 2011: 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

IEEE International Automated Software Engineering Conference (16th 2001 San Diego, Calif.). 16th Annual International Conference on Automated Software Engineering: (ASE 2001) : proceedings : 26-29 November, 2001, Loew's Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, Calif: IEEE Computer Society, 2001.

IDEAL 2010 (2010 Paisley, Scotland). Intelligent data engineering and automated learning-- IDEAL 2010: 11th international conference, Paisley, UK, September 1-3, 2010 : proceedings. Berlin: Springer, 2010.

IDEAL 2008 (2008 Taejŏn-si, Korea). Intelligent data engineering and automated learning: IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings. Berlin: Springer, 2008.

IDEAL 2008 (2008 Taejŏn-si, Korea). Intelligent data engineering and automated learning: IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings. Berlin: Springer, 2008.

Bibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume III Applications. Dordrecht: Springer Netherlands, 1998.

Kent-Andre, Mardal, Wells Garth, and SpringerLink (Online service), eds. Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Sadeghi, Ahmad-Reza, Per Larsen, Stefan Brunthaler, and Lucas Davi. Automated Software Diversity. Springer International Publishing AG, 2015.

Sadeghi, Ahmad-Reza, Per Larsen, Stefan Brunthaler, and Lucas Davi. Automated Software Diversity. Morgan & Claypool Publishers, 2015.

Larsen, Per, Stefan Brunthaler, and Lucas Davi. Automated Software Diversity. Morgan & Claypool Publishers, 2015.

Schumann, Johann M., and D. Loveland. Automated Theorem Proving in Software Engineering. Springer London, Limited, 2013.

Schumann, Johann M., and D. Loveland. Automated Theorem Proving in Software Engineering. Springer Berlin / Heidelberg, 2010.

(Foreword), D. Loveland, ed. Automated Theorem Proving in Software Engineering. Springer, 2001.

Earl, Anthony N., John A. McDermid, and Alan W. Brown. Software Engineering Environments: Automated Support for Software Engineering (Mcgraw Hill International Series in Software Engineering). McGraw-Hill Companies, 1993.

Earl, Anthony N., John A. McDermid, and Alan W. Brown. Software Engineering Environments: Automated Support for Software Engineering (Mcgraw Hill International Series in Software Engineering). McGraw-Hill Companies, 1993.

Satapathy, Suresh Chandra, Ajay Kumar Jena, Jagannath Singh, and Saurabh Bilgaiyan. Automated Software Engineering: A Deep Learning-Based Approach. Springer, 2020.

18th IEEE International Conference on Automated Software Engineering. Ieee, 2003.

Automated Software Engineering (Ase 2001), 16th IEEE International. Ieee, 2001.

Institute Of Electrical and Electronics Engineers. Automated Software Engineering (Ase 2000): 15th International Conference. IEEE Standards Office, 2000.

Conference, IEEE International Automated Software Engineering. 1998 International Conference on Automated Software Engineering (Ase '98. Institute of Electrical & Electronics Enginee, 1998.

Diego, California) IEEE International Automated Software Engineering Conference (16th :. 2001 :. San. 16th Annual Conference on Automated Software Engineering: (Ase 2001). Ieee, 2001.

Mohr, Felix. Automated Software and Service Composition: A Survey and Evaluating Review. Springer, 2016.

Mohr, Felix. Automated Software and Service Composition: A Survey and Evaluating Review. Springer London, Limited, 2016.

Cavalcanti, Ana, Laure Petrucci, and Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. Springer, 2017.