LE MONDE D’« AVANT-GARDE » DES « AFFAIRES »

Como forma de dar continuidade à pesquisa desenvolvida nessa dissertação, alguns trabalhos futuros podem ser relacionados, tais como:

• Implementar um add-in para a IDE Visual Studio com o objetivo de obter, gra-

camente, uma rápida visualização de todos os canais excepcionais explícitos, locais intermediários e locais de tratamento que estão vinculados a um determinado com- ponente do software.

• Replicar este estudo no contexto de outros domínios de aplicação utilizando o ECS-

Flow. Realizamos a avaliação do ECSFlow somente no contexto da aplicação ASC- Generator. Outras avaliações sistemáticas são necessárias.

• Realizar um novo estudo sistemático a m de avaliar a usabilidade da sintaxe e uso

das construções do ECSFlow no desenvolvimento de sistemas.

• Realizar um estudo do ponto de vista do desempenho do ECSFlow. Algumas im-

plementações envolvem iterações sobre vários componentes e possivelmente algumas ações podem comprometer o desempenho da aplicação.

• Validar a compatibilidade com versões anteriores do .NET. O ECSFlow só foi testado

usando o .NET 4.6. É possível que haja problemas ao usar uma versão mais antiga do compilador .NET. Embora as versões anteriores contenham o mesmo subconjunto de operadores para manipular linguagem intermediária, há a necessidade de uma validação.

Referências

ABDELRAHMAN, S. E.; ABDELLATIF, A. M. Disblue+: A distributed annotation- based c# compiler. Egyptian Informatics Journal, Elsevier, v. 11, n. 1, p. 110, 2010.

ABRANTES, J.; COELHO, R.; BONIFÁCIO, R. Daeh: A tool for specifying and monitoring the exception handling policy. International Journal of Software Engineering and Knowledge Engineering, World Scientic, v. 25, n. 09n10, p. 15151530, 2015. ARAÚJO, J.; SOUZA, R.; CACHO, N.; MARTINS, A.; NETO, P. A. S. Handling contract violations in java card using explict exception channels. In: IEEE PRESS. Proceedings of the 5th International Workshop on Exception Handling. [S.l.], 2012. p. 3440.

ARNOLD, K.; GOSLING, J.; HOLMES, D.; HOLMES, D. The Java programming language. [S.l.]: Addison-wesley Reading, 2000.

AVIZIENIS, A.; LAPRIE, J.-C.; RANDELL, B.; LANDWEHR, C. Basic concepts and taxonomy of dependable and secure computing. IEEE transactions on dependable and secure computing, IEEE, v. 1, n. 1, p. 1133, 2004.

AYEWAH, N.; PUGH, W. A report on a survey and study of static analysis users. In: ACM. Proceedings of the 2008 workshop on Defects in large software systems. [S.l.], 2008. p. 15.

BALTER, R.; LACOURTE, S.; RIVEILL, M. The guide language. The Computer Journal, Br Computer Soc, v. 37, n. 6, p. 519530, 1994.

BESSEY, A.; BLOCK, K.; CHELF, B.; CHOU, A.; FULTON, B.; HALLEM, S.; HENRI-GROS, C.; KAMSKY, A.; MCPEAK, S.; ENGLER, D. A few billion lines of code later: using static analysis to nd bugs in the real world. Communications of the ACM, ACM, v. 53, n. 2, p. 6675, 2010.

BUHR, P. A.; MOK, W. R. Advanced exception handling mechanisms. IEEE Transactions on Software Engineering, IEEE, v. 26, n. 9, p. 820836, 2000.

BUSE, R. P.; WEIMER, W. R. Automatic documentation inference for exceptions. In: ACM. Proceedings of the 2008 international symposium on Software testing and analysis. [S.l.], 2008. p. 273282.

CABRAL, B.; MARQUES, P. Exception handling: A eld study in java and. net. In: SPRINGER. European Conference on Object-Oriented Programming. [S.l.], 2007. p. 151175.

CABRAL, B.; SACRAMENTO, P.; MARQUES, P. Hidden truth behind .nets exception handling today. IET Software, v. 1, n. 6, p. 233250, 2007. Disponível em: <http://dx.doi.org/10.1049/iet-sen:20070017>.

CACHO, N.; CASTOR, F.; GARCIA, A.; FIGUEIREDO, E. EJFlow: Taming Exceptional Control Flows in Aspect-Oriented Programming. Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08, p. 72, 2008. Disponível em: <http://portal.acm.org/citation.cfm?doid=1353482.1353492>. CACHO, N.; CÉSAR, T.; FILIPE, T.; SOARES, E.; CASSIO, A.; SOUZA, R.; GARCIA, I.; BARBOSA, E. A.; GARCIA, A. Trading robustness for maintainability: an empirical study of evolving C# programs. Proceedings of the 36th International Conference on Software Engineering - ICSE 2014, n. iii, p. 584595, 2014. Disponível em: <http://dl.acm.org/citation.cfm?id=2568225.2568308>.

CACHO, N.; COTTENIER, T.; GARCIA, A. Improving robustness of evolving exceptional behaviour in executable models. In: ACM. Proceedings of the 4th international workshop on Exception handling. [S.l.], 2008. p. 3946.

CACHO, N.; DANTAS, F.; GARCIA, A.; CASTOR, F. Exception ows made explicit: An exploratory study. In: IEEE. Software Engineering, 2009. SBES'09. XXIII Brazilian Symposium on. [S.l.], 2009. p. 4353.

CACHO, N. A. A. Supporting Maintainable Exception Handling with Explicit Exception Channels. Tese (Doutorado)  Lancaster University, 2008.

CAMPBELL, R. H.; RANDELL, B. Error recovery in asynchronous systems. IEEE transactions on software engineering, IEEE, n. 8, p. 811826, 1986.

CANFORA, G.; CIMITILE, A.; LUCARELLI, P. B. Software maintenance. Handbook of Software Engineering and Knowledge Engineering, v. 1, p. 91120, 2000.

CHESS, B.; WEST, J. Secure programming with static analysis. [S.l.]: Pearson Education, 2007.

CHIDAMBER, S. R.; KEMERER, C. F. A metrics suite for object oriented design. IEEE Transactions on software engineering, IEEE, v. 20, n. 6, p. 476493, 1994. COELHO, R.; RASHID, A.; GARCIA, A.; FERRARI, F.; CACHO, N.; KULESZA, U.; STAA, A. von; LUCENA, C. Assessing the impact of aspects on exception ows: An exploratory study. In: SPRINGER. European Conference on Object-Oriented Programming. [S.l.], 2008. p. 207234.

CRISTIAN, F. Exception Handling. In: Dependability of Resilient Computers", T. Anderson, Ed. [S.l.]: Blackwell Scientic Publications, Oxford, 1989.

DOOREN, M. V.; STEEGMANS, E. Combining the robustness of checked exceptions with the exibility of unchecked exceptions using anchored exception declarations. ACM SIGPLAN Notices, ACM, v. 40, n. 10, p. 455471, 2005.

DOORNENBAL, D. Analysis and redesign of the compose* language. University of Twente, 2006.

DUFFY, J. Professional. NET framework 2.0. [S.l.]: John Wiley & Sons, 2006. FU, C.; RYDER, B. G. Exception-chain analysis: Revealing exception handling architecture in java server applications. In: IEEE. 29th International Conference on Software Engineering (ICSE'07). [S.l.], 2007. p. 230239.

GARCIA, A. F.; RUBIRA, C. M.; ROMANOVSKY, A.; XU, J. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of systems and software, Elsevier, v. 59, n. 2, p. 197222, 2001.

GARCIA, I.; CACHO, N. eowmining: An exception-ow analysis tool for. net applications. In: IEEE. Dependable Computing Workshops (LADCW), 2011 Fifth Latin-American Symposium on. [S.l.], 2011. p. 18.

GOODENOUGH, J. B. Exception handling: issues and a proposed notation. Communications of the ACM, ACM, v. 18, n. 12, p. 683696, 1975.

GORBENKO, A.; ROMANOVSKY, A.; KHARCHENKO, V.; MIKHAYLICHENKO, A. Experimenting with exception propagation mechanisms in service-oriented architecture. In: ACM. Proceedings of the 4th international workshop on Exception handling. [S.l.], 2008. p. 17.

HEJLSBERG, A.; WILTAMUTH, S.; GOLDE, P. C# language specication. [S.l.]: Addison-Wesley Longman Publishing Co., Inc., 2003.

HOMER, A.; BOTTO, N.; BRUMFIELD, B.; MELNIK, G.; RENAUD, E.; SIMONAZZI, F.; TAVARES, C. Developer's Guide to Microsoft Enterprise Library. [S.l.]: Microsoft Press, 2010.

JOHNSON, B.; SONG, Y.; MURPHY-HILL, E.; BOWDIDGE, R. Why don't software developers use static analysis tools to nd bugs? In: IEEE. Software Engineering (ICSE), 2013 35th International Conference on. [S.l.], 2013. p. 672681.

JONES, T. C. Estimating software costs. [S.l.]: McGraw-Hill, Inc., 1998.

LANDI, W. Undecidability of static analysis. ACM Letters on Programming Languages and Systems (LOPLAS), ACM, v. 1, n. 4, p. 323337, 1992.

LANG, J.; STEWART, D. B. A study of the applicability of existing exception-handling techniques to component-based real-time software technology. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, v. 20, n. 2, p. 274301, 1998. LANZA, M.; MARINESCU, R.; DUCASSE, S. Object-Oriented Metrics in Practice. Secaucus. [S.l.]: NJ, USA: Springer-Verlag New York, Inc, 2005.

LEE, P.; ANDERSON, T. Dependable computing and fault-tolerant systems, v ol. 3. Fault Tolerance: Principles and Practice. Springer Verlag, New York, v. 753, 1990. LEE, P. A.; ANDERSON, T. Fault tolerance: principles and practice. [S.l.]: Springer Science & Business Media, 2012.

LEINO, K. R. M.; SCHULTE, W. Exception safety for c#. In: SEFM. [S.l.: s.n.], 2004. v. 4, p. 218227.

LIPPERT, M.; LOPES, C. V. A study on exception detection and handling using aspect-oriented programming. In: ACM. Proceedings of the 22nd international conference on Software engineering. [S.l.], 2000. p. 418427.

LISKOV, B. H.; SNYDER, A. Exception handling in clu. IEEE transactions on software engineering, IEEE, n. 6, p. 546558, 1979.

MATSUMOTO, Y.; ISHITUKA, K. Ruby programming language. [S.l.]: Addison Wesley Publishing Company, 2002.

MICROSOFT. Overview of the .NET Framework. 2016. Disponível em: <<https: //msdn.microsoft.com/en-us/library/zw4w595w(v=vs.110).aspx/>>. Acesso em Agosto 8, 2016.

MILENKOVI‚, A. M.; MARKOVI‚, I. M.; JANKOVI‚, D. S.; RAJKOVI‚, P. J. Using of raspberry pi for data acquisition from biochemical analyzers. In: IEEE. Telecommunication in Modern Satellite, Cable and Broadcasting Services (TELSIKS), 2013 11th International Conference on. [S.l.], 2013. v. 2, p. 389392.

MILLER, R.; TRIPATHI, A. Issues with exception handling in object-oriented systems. In: SPRINGER. European Conference on Object-Oriented Programming. [S.l.], 1997. p. 85103.

MOHAGHEGHI, P.; CONRADI, R. Using empirical studies to assess software development approaches and measurement programs. In: CITESEER. Proc. Workshop on Empirical Software Engineering (WSESE?03), Rome. [S.l.], 2003.

PARNAS, D.; WÜRGES, H. Response to undesired events in software systems. 2nd international conference on Software, n. 2, p. 36, 1976. Disponível em: <http://portal.acm.org/citation.cfm?id=807717>.

PFLEEGER, S. L.; ATLEE, J. M. Software engineering: theory and practice. [S.l.]: Pearson Education India, 1998.

PULLUM, L. L. Software fault tolerance techniques and implementation. [S.l.]: Artech House, 2001.

RADATZ, J.; GERACI, A.; KATKI, F. Ieee standard glossary of software engineering terminology. IEEE Std, v. 610121990, n. 121990, p. 3, 1990.

RANDELL, B. System structure for software fault tolerance. In: ACM. ACM SIGPLAN Notices. [S.l.], 1975. v. 10, n. 6, p. 437449.

RANDELL, B.; LEE, P.; TRELEAVEN, P. C. Reliability Issues in Computing System Design. ACM Computing Surveys, v. 10, n. 2, p. 123165, 1978. ISSN 03600300.

REIMER, D.; SRINIVASAN, H. Analyzing exception usage in large java applications. In: Proceedings of ECOOP?2003 Workshop on Exception Handling in Object-Oriented Systems. [S.l.: s.n.], 2003. p. 1018.

ROBILLARD, M. P.; MURPHY, G. C. Designing robust java programs with exceptions. In: ACM. ACM SIGSOFT Software Engineering Notes. [S.l.], 2000. v. 25, n. 6, p. 210.

ROBILLARD, M. P.; MURPHY, G. C. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Transactions on Software Engineering and Methodology (TOSEM), ACM, v. 12, n. 2, p. 191221, 2003. ROBINSON, S. Professional C#. [S.l.]: John Wiley & Sons, 2004.

ROSENBERG, A. L. The pillars of computation theory: state, encoding, nondeterminism. [S.l.]: Springer Science & Business Media, 2009.

ROSSUM, G. van et al. Python language website. 2007.

SANT'ANNA, C.; GARCIA, A.; CHAVEZ, C.; LUCENA, C.; STAA, A. V. On the reuse and maintenance of aspect-oriented software: An assessment framework. In: Proceedings of Brazilian symposium on software engineering. [S.l.: s.n.], 2003. p. 1934.

SHAH, H.; GÖRG, C.; HARROLD, M. J. Why do developers neglect exception handling? In: ACM. Proceedings of the 4th international workshop on Exception handling. [S.l.], 2008. p. 6268.

SHAH, H.; GORG, C.; HARROLD, M. J. Understanding exception handling: Viewpoints of novices and experts. IEEE Transactions on Software Engineering, IEEE, v. 36, n. 2, p. 150161, 2010.

SHAH, H.; GöRG, C.; HARROLD, M. J. Understanding exception handling: Viewpoints of novices and experts. the IEEE Computer Society., 2010.

STROUSTRUP, B. The design and evolution of C++. [S.l.]: Pearson Education India, 1994.

SWANSON, E. B. The dimensions of maintenance. In: IEEE COMPUTER SOCIETY PRESS. Proceedings of the 2nd international conference on Software engineering. [S.l.], 1976. p. 492497.

TURTSCHI, A.; WERRY, J.; HACK, G.; ALBAHARI, J.; NANDU, S.; LEE, W. M. C#.NET Web Developer's Guide. [S.l.]: Syngress, 2001. ISBN 1928994504.

VENNERS, B.; ECKEL, B. The trouble with checked exceptions: A conversation with Anders Hejlsberg, Part II. 2003. Disponível em: <<http://www.artima.com/intv/ handcus.html>>. Acesso em Junho 21, 2016.

WILLIAMS, M. Microsoft Visual C# (core reference). [S.l.]: Microsoft Press, 2002. YANG, H.; WARD, M. Successful evolution of software systems. [S.l.]: Artech House, 2003.

YAU, S. S.; COLLOFELLO, J. S. Design stability measures for software maintenance. IEEE Transactions on Software Engineering, IEEE, n. 9, p. 849856, 1985.