Lightweight analysis of software design models at the whiteboard
暂无分享,去创建一个
[1] Frank M. Shipman,et al. Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems , 1999, Computer Supported Cooperative Work (CSCW).
[2] M. Hirsch,et al. The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[3] André van der Hoek,et al. Software design sketching with calico , 2010, ASE.
[4] Steffen Becker,et al. The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..
[5] Luciano Baresi,et al. A logic-based semantics for the verification of multi-diagram UML models , 2012, SOEN.
[6] Matteo Pradella,et al. The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties , 2007, ESEC-FSE '07.
[7] James D. Herbsleb,et al. Notation and representation in collaborative object-oriented design: an observational study , 2007, OOPSLA.
[8] Mark W. Newman,et al. DENIM: finding a tighter fit between tools and practice for Web site design , 2000, CHI.
[9] Rik Eshuis,et al. Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.
[10] Jeffrey Parsons,et al. How UML is used , 2006, CACM.
[11] E. LESTER SMITH,et al. AND OTHERS , 2005 .
[12] Steffen Mazanek,et al. Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[13] Marian Petre,et al. Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework , 1996, J. Vis. Lang. Comput..
[14] D. Schoen. The Reflective Practitioner , 1983 .
[15] John C. Grundy,et al. An e-whiteboard application to support early design-stage sketching of UML diagrams , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.
[16] Christian Heide Damm,et al. Supporting Several Levels of Restriction in the UML , 2000, UML.
[17] James A. Landay,et al. Interactive sketching for the early stages of user interface design , 1995, CHI '95.
[18] Victoria Hoban,et al. The Reflective Practitioner , 2013 .
[19] Holger Giese,et al. The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems , 2005, ICSE.
[20] Axel Thümmler,et al. Performance analysis of time-enhanced UML diagrams based on stochastic processes , 2002, WOSP '02.
[21] Jason Hong,et al. Computational Support for Sketching in Design: A Review , 2009, Found. Trends Hum. Comput. Interact..
[22] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[23] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[24] Carlo Ghezzi,et al. Quality Prediction of Service Compositions through Probabilistic Model Checking , 2008, QoSA.
[25] Joost-Pieter Katoen,et al. Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST) , 2006, IEEE Trans. Software Eng..
[26] Paola Inverardi,et al. Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.
[27] Jean Vanderdonckt,et al. Generating systems from multiple sketched models , 2010, J. Vis. Lang. Comput..
[28] Wang Yi,et al. UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).