T. Lindholm and F. Yellin, The Java Virtual Machine Specification, 1999.

K. Nagaraja, X. Li, B. Zhang, R. Bianchini, R. P. Martin et al., Using fault injection to evaluate the performability of cluster-based services, Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems, 2003.

S. Rapps and E. Weyuker, Selecting Software Test Data Using Data Flow Information, IEEE Transactions on Software Engineering, vol.11, issue.4, pp.11-367, 1985.
DOI : 10.1109/TSE.1985.232226

A. Rountev, A. Milanova, and B. G. Ryder, Points-to analysis for java using annotated constraints, Proceedings of the Conference on Object-oriented Programming, Languages, Systems and Applications, pp.43-55, 2001.

O. Lhoták and L. Hendren, Scaling Java Points-to Analysis Using Spark, Compiler Construction, 12th International Conference, pp.153-169, 2003.
DOI : 10.1007/3-540-36579-6_12

T. Ball and J. R. Larus, Efficient path profiling, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29, pp.46-57, 1996.
DOI : 10.1109/MICRO.1996.566449
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.7451

P. Sortokin, Ftp server in java, 2003.

J. W. Jo, B. M. Chang, K. Yi, and K. M. Cho, An uncaught exception analysis for Java, Journal of Systems and Software, vol.72, issue.1, 2004.
DOI : 10.1016/S0164-1212(03)00057-8

N. Heintze, Set-based analysis of ml programs, Proceedings of the ACM Conference on Lisp and Functional Programmig, pp.306-317, 1994.

B. M. Chang, J. W. Jo, and S. H. Her, Visualization of exception propagation for java using static analysis, SCAM'02: Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation, 2002.

M. P. Robillard and G. C. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology, vol.12, issue.2, pp.12-191, 2003.
DOI : 10.1145/941566.941569

J. Dean, D. Grove, and C. Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, Proceedings of 9th European Conference on Object-oriented Programming (ECOOP'95, pp.77-101, 1995.
DOI : 10.1007/3-540-49538-X_5

D. Bacon and P. Sweeney, Fast static analysis of C++ virtual functions calls, Proceedings of ACM SIGPLAN Conference on Object-oriented Programing Systems, Languages and Applications (OOPSLA'96, pp.324-341, 1996.

D. Reimer and H. Srinivasan, Analyzing exception usage in large java applications, EHOOS'03: ECOOP2003 -Workshop on Exception Handling in Object Oriented Systems. (2003) ECOOP-EHWS '05

G. Agha, Actors: a Model of Concurrent Computation in Distributed Systems, 1986.

. M. Brr-+-00-]-d, A. Beder, B. Romanovsky, C. R. Randell, R. J. Snow et al., An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling [CG03] Denis Caromel and Alexandre Genoud. Non-functional exceptions for distributed and mobile objects, Workshop on Exception Handling in Object- Oriented Systems, pp.21-31, 2000.

J. Dedecker and W. Van-belle, Actors for Mobile Ad-Hoc Networks
DOI : 10.1007/978-3-540-30121-9_46

J. Dedecker, T. Van-cutsem, S. Mostinckx, W. D. Meuter, and T. D. Hondt, Ambienttalk : A small reflective kernel for programming mobile network applications System structure for software fault tolerance, Proceedings of the international conference on Reliable software, pp.437-449, 1975.

T. Brian, L. Rice, . [. Salzman, A. F. Romanovsky, and . Zorzo, The Slate programmer's reference manual On distribution of coordinated atomic actions, SIGOPS Oper. Syst. Rev, vol.31, issue.4, pp.63-71, 1997.

J. Vachon and N. Guelfi, Coala: a design language for reliable distributed system engineering, Proceedings of the Workshop on Software Engineering and Petri Nets, pp.135-154, 2000.

J. Vachon, N. Guelfi, and A. B. Romanovsky, Using COALA to develop a distributed object-based application, Proceedings DOA'00. International Symposium on Distributed Objects and Applications, pp.195-208, 2000.
DOI : 10.1109/DOA.2000.874191

B. Xu, A. B. Randell, . Romanovsky, M. F. Cecília, R. J. Rubira et al., Fault tolerance in concurrent objectoriented software through coordinated error recovery, FTCS, pp.499-508, 1995.

]. J. Xrr-+-99, B. Xu, A. Randell, R. J. Romanovsky, A. F. Stroud et al., Rigorous development of a safety-critical system based on coordinated atomic actions, FTCS '99: Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, p.68, 1999.

A. F. Zorzo, P. Periorellis, and A. Romanovsky, Using coordinated atomic actions for building complex web applications: a learning experience, Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-time Dependable Systems, pp.288-295, 2003.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

M. Hapner, R. Burridge, R. Sharma, J. Fialli, and K. Stout, Java Message Service, 2002.

B. Stroustrup, Exception safety: concepts and techniques Advances in exception handling techniques, LNCS, vol.2022, pp.60-76, 2001.

J. Arthorne, Project builders and natures, 2003.

F. Cristian, Exception handling, IBM Almaden Research Center, 1987.

B. Meyer, Object-Oriented Software Construction. second edn, 1997.

J. B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230

B. H. Liskov and J. M. Wing, Behavioural subtyping using invariants and constraints. In: Formal methods for distributed processing: a survey of object-oriented approaches, pp.254-280, 2001.

R. Miller and A. Tripathi, Issues with exception handling in object-oriented systems97 -Object-Oriented Programming, Proceedings of the 11th European Conference, pp.85-103, 1997.

A. Borgida, Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems, vol.10, issue.4, pp.565-603, 1985.
DOI : 10.1145/4879.4995

P. A. Buhr and W. Y. Mok, Advanced exception handling mechanisms, IEEE Transactions on Software Engineering, vol.26, issue.9, pp.820-836, 2000.
DOI : 10.1109/32.877844
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7848

M. D. Ernst, Summary of dynamically discovering likely program invariants, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001, 2000.
DOI : 10.1109/ICSM.2001.972767

M. Barnett and D. A. Naumann, Friends Need a Bit More: Maintaining Invariants Over Shared State, MPC '04: Proceedings of the Conference on Mathematics of Program Construction, 2004.
DOI : 10.1007/978-3-540-27764-4_5

G. Doshi, Best practices for exception handling, 2003.

S. Shenoy, Best practices in EJB exception handling, 2002.

L. G. Demichiel, Enterprise JavaBeans specification, version 2.1, 2003.

D. L. Detlefs, K. R. Leino, G. Nelson, and J. B. Saxe, Extended static checking, Research Report, vol.159, 1998.

A. Romanovsky, Exception handling in component-based system development, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001, pp.580-588, 2001.
DOI : 10.1109/CMPSAC.2001.960671

R. 1. Goodenough and J. B. , Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230

A. Romanovsky and J. Kienzle, Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems, pp.147-164
DOI : 10.1007/3-540-45407-1_9

M. Rintala, KC+ + ? a concurrent C+ + programming system, 2000.

R. H. Halstead, MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

P. Thompson, IOUs: A future implementation, C+ + Report, pp.29-32, 1998.

I. Iec, International Standard 14882 ? Programming Languages ? C+ +, Second Edition, 2003.

G. R. Andrews, Concurrent Programming ? Principles and Practice, 1991.

A. Chatterjee, FUTURES: a mechanism for concurrency among objects, Proceedings of the 1989 ACM/IEEE conference on Supercomputing , Supercomputing '89, pp.562-567, 1989.
DOI : 10.1145/76263.76326

B. Stroustrup, The C+ + Programming Language, 2000.

H. Sutter, More Exceptional C+ +. C+ + In-Depth Series 13. Henney, K.: From mechanism to method: The safe stack References 1. F. Cristian. Exception handling and tolerance of software faults, Software Fault Tolerance, p.81107, 1995.

D. Marzo, G. Romanovsky, and A. , Designing Fault-Tolerant Mobile Systems, Proceedings of the International Workshop on Scientific Engineering for Distributed Java Applications, pp.28-29, 2002.

A. Iliasov, L. Laibinis, A. Romanovsky, and E. Troubitsyna, Towards Formal Development of Mobile Location-based Systems. To be presented at Workshop on Rigorous Engineering of Fault Tolerant Systems, 2005.

J. Abrial, The B-Book, 1996.
DOI : 10.1017/CBO9780511624162

A. Iliasov and A. Romanovsky, Exception Handling in Coordination-Based Mobile Environments, 29th Annual International Computer Software and Applications Conference (COMPSAC'05), 2005.
DOI : 10.1109/COMPSAC.2005.73

G. P. Picco, A. L. Murphy, and G. Roman, LIME, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999.
DOI : 10.1145/302405.302659

L. Fiege, M. Mezini, G. Muhl, and A. P. Buchmann, Engineering Event-Based Systems with Scopes, Proc. of ECOOP, pp.309-333, 2002.
DOI : 10.1007/3-540-47993-7_14

J. Baumann, F. Hohl, K. Rothermel, and M. Straßer, Mole -Concepts of a Mobile Agent System, World Wide Web, vol.1, issue.3, pp.123-137, 1998.
DOI : 10.1023/A:1019211714301

G. Agha and C. J. Callsen, ActorSpace: An Open Distributed Programming Paradigm, Proceedings 4th ACM Conference on Principles and Practice of Parallel Programming, pp.23-323, 1993.

C. J. Callsen and G. Agha, Open Heterogeneous Computing in Actorspace, Journal of Parallel and Distributed Computing, vol.21, issue.3, pp.289-300, 1994.
DOI : 10.1006/jpdc.1994.1060

I. Satoh, Mobile agent-based compound documents, Proceedings of the 2001 ACM Symposium on Document engineering , DocEng '01, pp.76-84161, 2000.
DOI : 10.1145/502187.502199

L. Cardelli and A. D. Gordon, Mobile ambients, Proc. FOSSACS'98, pp.140-155177, 1998.
DOI : 10.1007/BFb0053547

I. Merrick and A. Wood, Coordination with scopes, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, pp.210-217, 2000.
DOI : 10.1145/335603.335747

R. 1. Capozucca, N. Guelfi, and R. Razavi, Towards a UML-based Notation for CAAs, 2004.

N. Guelfi, G. L. Cousin, and B. Ries, Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions, OTM Workshops, pp.468-482, 2004.
DOI : 10.1007/978-3-540-30470-8_61

B. Randell, System structure for software fault tolerance, IEEE Transactions on Software Engineering, issue.12, pp.220-232, 1975.

A. B. Romanovsky and A. F. Zorzo, A distributed coordinated atomic action scheme, Comput. Syst. Sci. Eng, vol.16, issue.4, pp.237-247, 2001.

J. Xu, B. Randell, A. B. Romanovsky, C. M. Rubira, R. J. Stroud et al., Fault tolerance in concurrent object-oriented software through coordinated error recovery, Symposium on Fault-Tolerant Computing, pp.499-508, 1995.

A. F. Zorzo and R. J. Stroud, A distributed object-oriented framework for dependable multiparty interactions, OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp.435-446, 1999.

]. Barnett, K. Rustan, M. Leino, and W. Schulte, The Spec# programming system, Cassis International Workshop, 2004.

B. Chang, J. Jo, K. Yi, and K. Choe, Interprocedural exception analysis for Java, Proceedings of the 2001 ACM symposium on Applied computing , SAC '01, pp.620-625, 2001.
DOI : 10.1145/372202.372786

C. Dony, A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation, Advances in exception handling techniques, pp.18-38, 2001.
DOI : 10.1007/3-540-45407-1_2
URL : https://hal.archives-ouvertes.fr/lirmm-01237174

C. Flanagan, K. Leino, M. Lillibridge, C. Nelson, J. Saxe et al., Extended static checking for Java, Proceedings of PLDI 2002, 2002.

A. F. Garcia, M. F. Cecília, A. B. Rubira, J. Romanovsky, and . Xu, A comparative study of exception handling mechanisms for building dependable object-oriented software, Journal of Systems and Software, vol.59, issue.2, pp.197-222, 2001.
DOI : 10.1016/S0164-1212(01)00062-0

J. Gosling, B. Joy, G. Steele, and G. Bracha, Java(TM) Language Specification, The (3rd Edition) (Java Series), 2005.

A. Horton, Why doesn't C# have exception specifications? Available at http

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

R. Joseph and . Kiniry, Exceptions in Java and Eiffel: Two extremes in exception design and application, Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems, 2003.

J. Knudsen, Fault Tolerance and Exception Handling in BETA, Advances in exception handling techniques, pp.1-17, 2001.
DOI : 10.1007/3-540-45407-1_1

K. Rustan, M. Leino, and W. Schulte, Exception safety for C#, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.218-227, 2004.
DOI : 10.1109/SEFM.2004.1347523

M. Lippert and C. V. Lopes, A study on exception detecton and handling using aspect-oriented programming, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.418-427, 2000.
DOI : 10.1145/337180.337229

R. Miller and A. Tripathi, Issues with exception handling in objectoriented systems, ECOOP, pp.85-103, 1997.

D. Reimer and H. Srinivasan, Analyzing exception usage in large Java applications, Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems, 2003.

P. Martin, G. C. Robillard, and . Murphy, Designing robust Java programs with exceptions, Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '00), pp.2-10, 2000.

P. Martin, G. C. Robillard, and . Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Trans. Softw. Eng. Methodol, vol.12, issue.2, pp.191-221, 2003.

S. Sinha, A. Orso, and M. J. Harrold, Automated support for development, maintenance, and testing in the presence of implicit flow control, Proceedings. 26th International Conference on Software Engineering, pp.336-345, 2004.
DOI : 10.1109/ICSE.2004.1317456

B. Venners, Interface Design: Best Practices in Object-Oriented API Design in Java, 2001.

B. Venners, Failure and exceptions: a conversation with James Gosling, Part II, 2003.

B. Venners and B. Eckel, The trouble with checked exceptions: A conversation with Anders Hejlsberg, Part II, 2003.

A. F. García, C. M. Rubira, A. Romanovsky, and J. Xu, A comparative study of exception handling mechanisms for building dependable object-oriented software, Journal of Systems and Software. 59, pp.197-222, 2001.
DOI : 10.1016/S0164-1212(01)00062-0

J. Gosling, B. Joy, and G. Steele, The Java Language Specification, 1996.

B. Meyer, Object?Oriented Software Construction, 1997.

B. Meyer, Eiffel: the language, 1992.

D. A. Solomon, Inside Windows NT Second Edition, 1998.

R. Chapman, A. Burns, and A. Wellings, Worst?Case Timing Analysis of Exception Handling in Ada, Proc. Ada UK. Conference, 1993.

R. 1. Anderson and P. A. Lee, Fault Tolerance: Principles and Practice, 1990.

S. Chidamber and C. Kemerer, A metrics suite for object oriented design, IEEE Transactions on Software Engineering, vol.20, issue.6, pp.476-493, 1994.
DOI : 10.1109/32.295895

N. Fenton and S. L. Pfleeger, Software Metrics: A Rigorous Practical Approach, 1997.
DOI : 10.1201/b17461

F. and C. Filho, A systematic approach for structuring exception handling in robust component-based software, Journal of the Brazilian Computer Society, 2005.

M. Fowler, Refactoring: Improving the Design of Existing Code, 1999.
DOI : 10.1007/3-540-45672-4_31

E. Gamma, Design Patterns: Elements of Reusable Software Systems, 1995.

A. Garcia, Separation of Concerns in Multi-agent Systems: An Empirical Study, Software Engineering for Multi-Agent Systems II, 2004.
DOI : 10.1007/978-3-540-24625-1_4

A. Garcia, Modularizing design patterns with aspects, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.3-14, 2005.
DOI : 10.1145/1052898.1052899

G. Kiczales, Aspect-oriented programming, Proceedings of the 11th ECOOP'97, pp.220-242, 1997.

U. Kulesza, Aspectization of distribution and persistence: Quantifying the effects of aop, 2005.

R. Laddad, AspectJ in Action, 2003.

M. Lippert and C. V. Lopes, A study on exception detection and handling using aspectoriented programming, Proceedings of the 22nd ICSE'2000, pp.418-427, 2000.

G. Murphy, Does aspect-oriented programming work?, Communications of the ACM, vol.44, issue.10, pp.75-77, 2001.
DOI : 10.1145/383845.383862
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.9116

H. Rajan and K. Sullivan, Eos: Instance-leve aspects for integrated system design, Proceedings of ESEC/FSE'2003, 2003.

C. Sant-'anna, On the reuse and maintanance of aspect-oriented software: An assessment framework, Proceedings of the 17th SBES, pp.19-34, 2003.

. Tigris, Address: http://aopmetrics.tigris.org. 17. H. Zuse. History of software measurement, 2005.

S. Biswas, M. Simpson, and R. Barua, Memory overflow protection for embedded systems using run-time checks, reuse and compression, Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems table of contents, pp.280-291, 2004.