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 OCL UML Use-Cases QVT transformation product model line diagrams feature 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 engineering diagrams class UML testing requirements activity Use-Cases model 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 scenarios requirements development sequence object software Use-Cases modeling model engineering diagrams UML 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 diagrams UML OCL activity model sequence MDA 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 activity net model diagrams UML colored transformation petri 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 symbolic diagrams model activity UML checking NuSMV 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 Diagrams model by michael and 1 other person on Jun 28, 2007, 4:59 PM
  URL | BibTeX