no help available
no help available
groupThe blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications
- browse
- systemtest as tag from all users
- related tags
- tags
- testing
- UML
- line
- product
- Use-Cases
- diagrams
- formal
- activity
- automated
- MBT
- test
- software
- generation
- systemtest
- model
- requirements
- oracle
- IT_book
- model_checking
- programming
- fundamentals
- engineering
- testdata
- ScenTED
- OCL
- specification-based
- category-partition
- mbt
- based
- data
- SSE
- VST4WSN
- wsn
- specification
- sw_engineering
- statecharts
- coverage
- case
- flowgraph
- black-box
- tools
- methods
- runtime_checking
- symbolic
- model-based
- singlesystem
- functional
- integration
- probabilistic
- tool
- This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the language, which is part of the UML specification. · http://www.ibm.com/developerworks/rational/library/5390.htmlThis article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the language, which is part of the UML specification. · http://www.ibm.com/developerworks/rational/library/5390.html5 years agoby ist_spl2
- ⟨⟩
- Avner Engel. Wiley Series in Systems Engineering and Management Wiley, 1 edition, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..Avner Engel. Wiley Series in Systems Engineering and Management Wiley, 1 edition, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..2 years and 8 months agoby ist_spl1
- Antonia Bertolino, and Stefania Gnesi. PFE, page 181-197. (2003)Antonia Bertolino, and Stefania Gnesi. PFE, page 181-197. (2003)4 years and 9 months agoby ist_spl2
- Andreas Reuys, Erik Kamsties, Klaus Pohl, and Sacha Reis. CAiSE, page 519. (2005)Andreas Reuys, Erik Kamsties, Klaus Pohl, and Sacha Reis. CAiSE, page 519. (2005)4 years and 9 months agoby ist_spl2
- Jean Hartmann, Marlon Vieira, Herbert Foster, and Axel Ruder. Innovations in Systems and Software Engineering 1(1):12-24 (2005)Jean Hartmann, Marlon Vieira, Herbert Foster, and Axel Ruder. Innovations in Systems and Software Engineering 1(1):12-24 (2005)4 years and 9 months agoby ist_spl3
- Andreas Reuys, Helmut Götz, Jürgen Neumann, and Josef Weingärtner. Software-Produktlinien: Methoden, Einführung und Praxis, Dpunkt Verlag, (2004)Andreas Reuys, Helmut Götz, Jürgen Neumann, and Josef Weingärtner. Software-Produktlinien: Methoden, Einführung und Praxis, Dpunkt Verlag, (2004)4 years and 9 months agoby ist_spl1
- Andreas Reuys, Sacha Reis, Erik Kamsties, and Klaus Pohl. Software Product Lines, (2006)Andreas Reuys, Sacha Reis, Erik Kamsties, and Klaus Pohl. Software Product Lines, (2006)4 years and 9 months agoby ist_spl1
- Jean Hartmann, Marlon Vieira, and Axel Ruder. Proceedings of the International Workshop on Software Product Line Testing SPLiT 2004, page 58--65. Boston, MA, (August 2004)Jean Hartmann, Marlon Vieira, and Axel Ruder. Proceedings of the International Workshop on Software Product Line Testing SPLiT 2004, page 58--65. Boston, MA, (August 2004)4 years and 9 months agoby ist_spl1
- Antonia Bertolino, and Stefania Gnesi. ESEC / SIGSOFT FSE, page 355--358. (2003).Antonia Bertolino, and Stefania Gnesi. ESEC / SIGSOFT FSE, page 355--358. (2003).4 years and 9 months agoby ist_spl2
- Lionel C. Briand, and Yvan Labiche. Software and System Modeling 1(1):10--42 (2002)Lionel C. Briand, and Yvan Labiche. Software and System Modeling 1(1):10--42 (2002)4 years and 10 months agoby ist_spl3
- Andreas Reuys, Erik Kamsties, Klaus Pohl, and Sacha Reis. Inform., Forsch. Entwickl. 20(1-2):33-44 (2005)Andreas Reuys, Erik Kamsties, Klaus Pohl, and Sacha Reis. Inform., Forsch. Entwickl. 20(1-2):33-44 (2005)4 years and 10 months agoby ist_spl2
- Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, and Alain Le Guennec. FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, and Alain Le Guennec. FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..4 years and 10 months agoby ist_spl1
- Glenford J. Myers. Wiley, 2 edition, (2004)Glenford J. Myers. Wiley, 2 edition, (2004)4 years and 10 months agoby ist_spl2
- Clémentine Nebut, Franck Fleurey, Yves Le Traon, and Jean-Marc Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)Clémentine Nebut, Franck Fleurey, Yves Le Traon, and Jean-Marc Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)4 years and 11 months agoby ist_spl3
- A. Jefferson Offutt, and Shaoying Liu. Journal of Systems and Software 49(1):49--62 (December 1999)A. Jefferson Offutt, and Shaoying Liu. Journal of Systems and Software 49(1):49--62 (December 1999)4 years and 11 months agoby ist_spl2
- Paul C. Jorgensen. AUERBACH, 3 edition, (2008)Paul C. Jorgensen. AUERBACH, 3 edition, (2008)4 years and 11 months agoby ist_spl1
- Matthias Riebisch, Ilka Philippow, and Marco Götze. NetObjectDays, page 394-411. (2002)Matthias Riebisch, Ilka Philippow, and Marco Götze. NetObjectDays, page 394-411. (2002)4 years and 11 months agoby ist_spl1
- Peter Fröhlich, and Johannes Link. ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, page 472--492. London, UK, Springer-Verlag, (2000)Peter Fröhlich, and Johannes Link. ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, page 472--492. London, UK, Springer-Verlag, (2000)4 years and 11 months agoby ist_spl1
- Javier Jesús Gutiérrez, María José Escalona, Manuel Mejías, and Arturo H. Zenteno. Proceedings of the 5th Workshop on Systems Testing and Validation Stv 2007, (2007)Javier Jesús Gutiérrez, María José Escalona, Manuel Mejías, and Arturo H. Zenteno. Proceedings of the 5th Workshop on Systems Testing and Validation Stv 2007, (2007)4 years and 11 months agoby ist_spl1
- Mario Friske, and Holger Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, 2005-01, TU Braunschweig, (January 2005)Mario Friske, and Holger Schlingloff. Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, 2005-01, TU Braunschweig, (January 2005)5 years agoby ist_spl1
- Mario Friske, and Holger Pirk. (September 2005)Mario Friske, and Holger Pirk. (September 2005)5 years agoby ist_spl1
- ⟨⟩