Consistency problems in UML-based software development

Lecture Notes in Computer Science

Volumn 3297, Issue , 2005, Pages 1-12

  Huzar, Zbigniew ^a   Kuzniarz, Ludwik ^b   Reggio, Gianna ^c   Sourrouille, Jean Louis ^d  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

^b BLEKINGE INSTITUTE OF TECHNOLOGY   (Sweden)

^c UNIVERSITY OF GENOA   (Italy)

^d UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; TECHNICAL PRESENTATIONS;

ABSTRACTS; CONSISTENCY PROBLEMS; GUIDELINES; MODELING LANGUAGES;

SOFTWARE ENGINEERING;

EID: 23944462918     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31797-5_1     Document Type: Conference Paper

References (33)

1. L. Kuzniarz, G. Reggio, J.L. Sourrouille, Z. Huzar, Workshop on Consistency Problems in UML-based Software Development I, UML 2002, Blekinge Institute of Technology, Research Report 2002:06. Available at http://www.ipd.bth.se/uml2002/.
2. L. Kuzniarz, G. Reggio, J.L. Sourrouille, Z. Huzar, M. Staron, Workshop on Consistency Problems in UML-based Software Development II, UML 2003, Blekinge Institute of Technology. Research Report 2003:06. Available at http://www.ipd.bth.se/consistencyUML/UML2003workshop.asp.
3. Z. Huzar, L. Kuzniarz, G. Reggio, J.L. Sourrouille, Workshop on Consistency Problems in UML-based Software Development III, UML 2004. Available at http://uml04.ci.pwr.wroc.pl/.
4. S. Ammour, X. Blanc, M. Ziane and P. Desfray, Improving Pattern Support in UML CASE Tools, in III
5. E. Astesiano and G. Reggio, An Algebraic Proposal for Handling UML Consistency, in II
6. P. Bhaduri and R. Venkatesh, Formal Consistency of Models in Multi-View Modelling, in I
7. J.-P. Bodeveix, T. Millan, C. Percebois, C. Le Camus, P. Bazex and L. Feraud, Extending OCL for verifying UML models consistency, in I
8. Y. Choi and C. Bunse, Behavioral Consistency Checking for Component-based Software Development Using the KobrA Approach, in III
9. J. Derrick, D. Akehurst and E. Boiten, A framework for UML consistency, in I
10. G. Génova, J. Llorens and J. M. Fuentes, The Baseless Links Problem, in II
11. H. Gomaa and D. Wijesekera, Consistency in Multiple-View UML Models: A Case Study, in II
12. C. Gryce, A. Finkelstein and C. Nentwitch, Lightweight Checking for UML Based Software Development, in I
13. R. Haesen and M. Snoeck, Implementing Consistency Management Techniques for Conceptual Modeling, in III
14. B. Hnatkowska, Z. Huzar, L Kurniarz and L. Tuzinkiewicz, A systematic approach to consistency within UML based software development process, in I
15. B. Hnatkowska, Z. Huzar, L Kuzniarz and L. Tuzinkiewicz, Refinement relationship between collaborations, in II
16. B. Hnatkowska, Z. Huzar and L. Tuzinkiewicz, On Understanding of Refinement Relationship, in III
17. B. Hnatkowska and A. Walkowiak, Consistency Checking of USDP Models, in III
18. T. Huining Feng and H. Vangheluwe, Case Study: Consistency Problems in a UML Model of a Chat Room, in II
19. J. Hendrik Kausmann, R. Heckel and S. Sauer, Extended Model Relations with Graphical Consistency Conditions, in I
20. S. Kremer-Davidson and Y. Shaham-Gafni, UML 2.0 Model Consistency - the Rule of Explicit and Implicit Usage Dependencies, in III
21. L. Kuzniarz and M. Staron, Inconsistencies in Student Designs, in II
22. C. Lange, M.R.V. Chaudron, J. Muskens, L.J. Somers and H.M. Dortmans, An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs, in II
23. K. Lano, D. Clark and K. Androutsopoulos, Formalising Inter-model Consistency for the UML, in I
24. W. Qian Liu, S. Easterbrook and J. Mylopoulos, Rule Based detection of Inconsistency in UML Models, in I
25. Z. Liu, H. Jifeng, X. Li and Y. Chen, Consistency and Refinement of UML Models, in III
26. R. Marcano and N. Levy, Using B formal specifications for analysis and verification of UML/OCL models, in I
27. H. Rasch and H. Werheim, Consistency between UML Classes and Associated State Machines, in I
28. W. Shen, Y. Lu and W. Liong Low, Extending the UML Metamodel to Support Software Refinement, in II
29. J.-L. Sourrouille and G. Caplat, Checking UML Model Consistency, in I
30. J.-L. Sourrouille and G. Caplat, A Pragmatic View on Consistency Checking of UML Models, in II
31. R. Van Der Straeten, T. Mens and J. Simmonds, Maintaining Consistency between UML Models Using Description Logic, in II
32. R. Van Der Straeten, Formalizing Behaviour Preserving Dependencies in UML, in III
33. R. Wagner, H. Giese and U. A. Nickel, A Plug-In for Flexible and Incremental Consistency Management, in II