BibSonomy :: concept  ::

bookmarks

publications

   

• Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines
  Alexandre Braganca and Ricardo J. Machado SPLC '07: Proceedings of the 11th International Software Product Line Conference, page3--12. Washington, DC, USA, IEEE Computer Society, (2007)
  to product Use-Cases UML feature QVT OCL transformation line model diagrams by ist_spl on Aug 27, 2008, 3:05 PM
  URL | BibTeX 
• Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications
  Georg Kösters and Hans-Werner Six and Mario Winter Requir. Eng.6(1):3-17(2001)
  to activity class diagrams UML model engineering requirements Use-Cases testing by ist_spl on Jul 29, 2008, 12:52 PM
  BibTeX 
• Advanced Use Case Modeling: Software Systems
  Frank Armour and Granville Miller The Addison-Wesley Object Technology Series Addison-Wesley Professional, (2001)
  to sequence object engineering scenarios diagrams UML Use-Cases modeling requirements software model development by ist_spl and 1 other person on Jul 21, 2008, 11:53 AM
  URL | BibTeX 
• The Object Constraint Language: Getting your models ready for MDA
  Jos Warmer and Anneke Kleppe Addison Wesley, 2. A. edition, (2003) MR: Referenz für OCL Wertvoll: Es wird gezeigt wie mit OCL Modelle gebaut werden. MDA eher nur am Rande erklärt Wichtigster Satz (Kapitel 3.2): T...MR: Referenz für OCL Wertvoll: Es wird gezeigt wie mit OCL Modelle gebaut werden. MDA eher nur am Rande erklärt Wichtigster Satz (Kapitel 3.2): The use of OCL strongly relies on the types (classes, datatypes, and so on) defined in a UML class diagram. This diagram should be build first. .
  to Use-Cases MDA UML OCL activity model sequence diagrams by ist_spl on Jun 25, 2008, 4:38 PM
  URL | BibTeX 
• Transformation methodology for UML 2.0 activity diagram into colored Petri nets
  U. Farooq and C. P. Lam and H. Li ACST'07: Proceedings of the third conference on IASTED International Conference, page128--133. Anaheim, CA, USA, ACTA Press, (2007)
  to petri transformation colored activity net UML diagrams model by ist_spl on Jun 5, 2008, 6:27 PM
  URL | BibTeX 
• Symbolic model checking of UML activity diagrams
  Rik Eshuis ACM Trans. Softw. Eng. Methodol.15(1):1--38(2006)
  to activity diagrams checking NuSMV UML model symbolic by ist_spl and 1 other person on Jun 2, 2008, 11:26 AM
  URL | BibTeX 
• Diagrammatic Reasoning as the Basis for Developing Concepts: A Semiotic Analysis of Students' Learning about Statistical Distribution
  A. Bakker and M.H.G. Hoffmann Educational Studies in Mathematics60(3):333-358November2005.
  to model Diagrams by michael and 1 other person on Jun 28, 2007, 4:59 PM
  URL | BibTeX