|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1365 occurrences of 819 keywords
|
|
|
Results
Found 1265 publication records. Showing 1265 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
123 | Luciano Baresi, Alessandro Orso, Mauro Pezzè |
Customizable notations for kernel formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 43-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations |
107 | Daniel L. Moody |
The "physics" of notations: a scientific approach to designing visual notations in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 485-486, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
visual syntax, modelling, visualization, communication, analysis, diagrams, concrete syntax |
100 | Keng Siau, Yuhong Tian |
A semiotic analysis of unified modeling language graphical notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 14(1), pp. 15-26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unified modeling language, Semiotics, Graphical notations, Modeling methods, Systems analysis and design |
81 | Michael Kohlhase, Christine Müller, Florian Rabe 0001 |
Notations for Living Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 504-519, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
76 | Luciano Baresi, Mauro Pezzè |
Formal interpreters for diagram notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 14(1), pp. 42-84, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Semi-formal notations, semantics, graph transformation, high-level Petri nets |
73 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Understanding and Comparing Model-Based Specification Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 188-199, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
69 | Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese |
A framework for modeling and implementing visual notations with applications to software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(4), pp. 431-487, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software engineering models, visual grammars, visual notations, UML, metamodeling, LR parsing, meta-CASE |
69 | Corin A. Gurr, Konstantinos Tourlas |
Formalizing Pragmatic Features of Graph-Based Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 220-227, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
visual notations, software engineering, graphs, algebra, pragmatics |
61 | Orna Grumberg, Shmuel Katz |
VeriTech: a framework for translating among model description notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(2), pp. 119-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Translating model notations, Incompatibilities in translations Faithful translations, Additional information about translations |
61 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Template Semantics for Model-Based Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(10), pp. 866-882, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition |
61 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Composable semantics for model-based notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 149-158, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model-based notations, communication, concurrency, composition, operational semantics, formal analysis |
57 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li |
An MDE-based method for bridging different design notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 203-213, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Formal methods, LOTOS, MDE |
55 | Nancy A. Day, Jeffrey J. Joyce |
A Framework for Multi-Notation Requirements Specification and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 4th International Conference on Requirements Engineering, ICRE '00, Schaumburg, Illinois, USA, June 19-23, 2000, pp. 39-48, 2000, IEEE Computer Society, 0-7695-0565-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Jan van Katwijk, W. J. Toetenel |
Comparing formal specifications by measuring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 184-191, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses |
49 | Min Jiang 0005, Changle Zhou, Fan Zhang, Shu Chen |
Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 263-266, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Jan Van den Bergh 0001, Karin Coninx |
Model-based design of context-sensitive interactive applications: a discussion of notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15 - 16, 2004, Prague, Czech Republic, pp. 43-50, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
context-sensitive interactive systems, model-based user interface design, graphical notation |
49 | Jason F. Harris |
Advanced notations in Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, pp. 153-160, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bra-ket notation, graphical front end, notational extensions, tensor notation, Mathematica, notation |
49 | John C. Grundy, John R. Venable |
Providing Integrated Support for Multiple Development Notations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 7th International Conference, CAiSE'95, Jyväskylä, Finland, June 12-16, 1995, Proceedings, pp. 255-268, 1995, Springer, 3-540-59498-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Paul Laumond, Naoko Abe (eds.) |
Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![Springer, 978-3-319-25737-2 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
48 | Katsu Yamane |
Human Motion Tracking by Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 417-430, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Eliane Mirzabekiantz |
Benesh Movement Notation for Humanoid Robots? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 299-317, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Suzanne Weller, Joost Broekens, Gabriel A. D. Lopes |
The Effect of Gravity on Perceived Affective Quality of Robot Movement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 377-390, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Sylvie Gibet, Pamela Carreno-Medrano, Pierre-François Marteau |
Challenges for the Animation of Expressive Virtual Characters: The Standpoint of Sign Language and Theatrical Gestures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 169-186, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Sarahjane Burton, Ali-Akbar Samadani, Rob Gorbet, Dana Kulic |
Laban Movement Analysis and Affective Movement Generation for Robots and Other Near-Living Creatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 25-48, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Tom Calvert |
Approaches to the Representation of Human Movement: Notation, Animation and Motion Capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 49-68, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Katsushi Ikeuchi, Yoshihiro Sato, Shinichiro Nakaoka, Shunsuke Kudoh, Takahiro Okamoto, Hauchin Hu |
Task Modelling for Reconstruction and Analysis of Folk Dances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 187-207, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Satoshi Oota |
The Origin of Dance: Evolutionary Significance on Ritualized Movements of Animals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 319-338, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Henner Drewes |
MovEngine - Developing a Movement Language for 3D Visualization and Composition of Dance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 91-116, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Michael Kimmel, Emanuel Preuschl |
Dynamic Coordination Patterns in Tango Argentino: A Cross-Fertilization of Subjective Explication Methods and Motion Capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 209-235, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Paolo Salaris, Naoko Abe, Jean-Paul Laumond |
A Worked-Out Experience in Programming Humanoid Robots via the Kinetography Laban. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 339-359, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Amy LaViers, Lin Bai, Masoud Bashiri, Gerald Heddy, Yu Sheng |
Abstractions for Design-by-Humans of Heterogeneous Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 237-262, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Samuel Bianchini, Florent Levillain, Armando Menicacci, Emanuele Quinz, Elisabetta Zibetti |
Towards Behavioral Objects: A Twofold Approach for a System of Notation to Design and Implement Behaviors in Non-anthropomorphic Robotic Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 1-24, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Dominik Endres, Enrico Chiovetto, Martin A. Giese |
Bayesian Approaches for Learning of Primitive-Based Compact Representations of Complex Human Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 117-137, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Jia Liu, Fangxiaoyu Feng, Yuzuko C. Nakamura, Nancy S. Pollard |
Annotating Everyday Grasps in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 263-282, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Gowrishankar Ganesh, Tsuyoshi Ikegami |
Beyond Watching: Action Understanding by Humans and Implications for Motion Planning by Interacting Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 139-167, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Jacqueline Challet-Haas |
The Problem of Recording Human Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 69-89, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Gentiane Venture, Takumi Yabuki, Yuta Kinase, Alain Berthoz, Naoko Abe |
Using Dynamics to Recognize Human Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 361-376, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Worawat Choensawat, Minako Nakamura, Kozaburo Hachimura |
Applications for Recording and Generating Human Body Motion with Labanotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 391-416, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | Angela Loureiro de Souza |
Laban Movement Analysis - Scaffolding Human Movement to Multiply Possibilities and Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dance Notations and Robot Motion ![In: Dance Notations and Robot Motion, 1st Workshop of the Anthropomorphic Motion Factory, at LAAS-CNRS, Toulouse, France, 13-14 November, 2014, pp. 283-297, 2014, Springer, 978-3-319-25737-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
47 | Luciano Baresi, Mauro Pezzè |
A Toolbox for Automating Visual Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 189-202, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Sergiu Dascalu, Peter Hitchcock |
An approach to integrating semi-formal and formal notations in software specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 1014-1020, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Z++, integration of notations, UML, UML, formal methods, object-oriented modeling |
43 | Anna Börjesson Sandberg, Carl Magnus Olsson |
Explicit as Enabler for Understanding the Tacit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open IT-Based Innovation ![In: Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion, IFIP TC8 WG 8.6 International Working Conference, October 22-24, 2008, Madrid, Spain, pp. 63-82, 2008, Springer, 978-0-387-87502-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software process notations, software process descriptions, Software engineering, tacit knowledge, explicit knowledge |
43 | Silas S. Brown, Peter Robinson 0001 |
Transformation frameworks and their relevance in universal design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 3(3-4), pp. 209-223, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
4DML, Education, Tools, Transformation, Conversion, Notations |
43 | Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst |
Working group report on process [production process workflow in cooperative virtual enterprises]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 8-, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
production engineering computing, production process workflow, cooperative virtual enterprises, large software houses, concurrent engineering methods, industrial products, descriptive notations, distributed object databases, hypertext browsers, Petri nets, tools, process modeling, software development management, concurrent engineering, process design |
42 | Ulrike Reiner |
Automatic Analysis of Dewey Decimal Classification Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Data Analysis, Machine Learning and Applications - Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7-9, 2007, pp. 697-704, 2007, Springer, 978-3-540-78239-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Mohamed T. Ibrahim, Maliheh Hamdollah, Patrick T. R. O'Brien |
Analysis and Design of e-Commerce Applications on the Web: A Case Study of OO Techniques and Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003, Proceedings, pp. 315-327, 2003, Springer, 3-540-40808-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Jean Flower, John Howse, John Taylor 0001, Stuart Kent 0001 |
A Visual Framework for Modelling with Heterogeneous Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 71-73, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software specification, Visual formalisms |
42 | David Garlan, Andrew Kompanek |
Reconciling the Needs of Architectural Description with Object-Modeling Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 498-512, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Daniel L. Moody, Jos van Hillegersberg |
Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 16-34, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel |
Integrated Notation for Software Architecture Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 11-12 November 2004, Arica, Chile, pp. 26-35, 2004, IEEE Computer Society, 0-7695-2200-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software architecture, Architecture definition languages |
36 | Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim |
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021., pp. 303-308, 2021, KSI Research Inc., 1-891706-52-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Daniel L. Moody |
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(6), pp. 756-779, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Xavier Renault |
Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
36 | David Brain, Philip Seltsikas, Deemple Tailor |
Process Modelling Notations for eGovernment: An Assessment of Modelling Notations for Identity Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bled eConference ![In: 18th Bled eConference: eIntegration in Action, Bled, Slovenia, June 6-8, 2005, pp. 40, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
36 | Sophie Dupuy |
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. (Integrating semi-formal and formal notations for information system specification). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
35 | Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe |
A Set Approach to Role Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 158-169, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference |
34 | Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay |
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 281-286, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-devices, specification notation, CSCW, multimodality |
34 | Serge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner 0001 |
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 176-190, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Joan De Boeck, Chris Raymaekers, Karin Coninx |
Comparing NiMMiT and Data-Driven Notations for Describing Multimodal Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 217-229, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Silas S. Brown, Peter Robinson 0001 |
Interacting with notations: two examples of the use of a transformation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 4(2), pp. 96-104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Interfaces, Transformation, Music, Blind, Low vision |
34 | Mikael Berndtsson, Bengt Calestam |
Graphical notations for active rules in UML and UML-A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(2), pp. 2, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Martin 0004 |
Conventions and Notations for Knowledge Representation and Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 41-54, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Juan Bicarregui, Brian Ritchie |
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 79-89, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Abstract Machine Notation, model-oriented specification, formal methods, B, VDM |
34 | Juan Bicarregui, Brian Ritchie |
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 162-182, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Kulkarni, Sreedhar Reddy |
Model-Driven Development of Enterprise Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 118-128, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 |
Model Checking Visual Specification of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 202-209, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Vinay Kulkarni, R. Venkatesh, Sreedhar Reddy |
Generating Enterprise Applications from Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS Workshops ![In: Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings, pp. 270-279, 2002, Springer, 3-540-44088-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Shmuel Katz, Orna Grumberg |
A Framework for Translating Models and Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 145-164, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Joseph Gil, John Howse, Stuart Kent 0001 |
Advanced visual modelling: beyond UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 697-698, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML |
31 | Paolo Bottoni, Mark Minas |
Workshop on Graph Transformation and Visual Modeling Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 445-449, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce |
Deductive Parsing of Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 79-94, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | James D. Kiper, Brent Auernheimer, Charles K. Ames |
Visual Depiction of Decision Statements: What is Best for Programmers and Non-Programmers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 2(4), pp. 361-379, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
decision structures, expert-novice differences, program comprehension, visual programming |
27 | Klaus Aehlig, Arnold Beckmann |
On the Computational Complexity of Cut-Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 284-293, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cut-reduction, proof notations, propositional logic, Bounded Arithmetic |
27 | Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato |
An empirical study on the usefulness of Conallen's stereotypes inWeb application comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSE ![In: Eighth IEEE International Workshop on Web Site Evolution (WSE 2006), 22-24 September 2006, Philadelphia, Pennsylvania, USA, pp. 58-68, 2006, IEEE Computer Society, 0-7695-2696-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Design Notations, Empirical Studies, Web Applications |
27 | Marco Winckler, Christelle Farenc, Philippe A. Palanque |
Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002, pp. 153-160, 2002, ACM, 1-58113-615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
usability evaluation, task modeling, web design, notations, navigation modeling |
27 | Jifeng He 0001, C. A. R. Hoare |
Unifying theories of healthiness condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 70-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws |
27 | Joseph Gil, John Howse, Stuart Kent 0001, John Taylor 0001 |
Projections in Venn-Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings., pp. 119-126, 2000, IEEE Computer Society, 0-7695-0840-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
diagrammatic notations, Visual formalisms |
27 | Perry Alexander, Murali Rangarajan, Phillip Baraona |
A Brief Summary of VSPEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1068-1086, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
VHDL, languages, systems level design, notations, Larch |
27 | Andrew Way, Ian Crookston, Jane Shelton |
A Typology of Translation Problems for Eurotra Translation Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 12(4), pp. 323-374, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Hard translation problems, Eurotra, translation notations |
27 | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
On the concurrent behaviour of SCR specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 258-263, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics |
27 | Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin |
Verifying The Correctness Of Cryptographic Protocols Using "Convince". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 12th Annual Computer Security Applications Conference (ACSAC 1996), 9-13 December 1996, San Diego, CA, USA, pp. 117-128, 1996, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support |
27 | Martin Erwig, Bernd Meyer 0001 |
Heterogeneous Visual Languages-Integrating Visual and Textual Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 318-325, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages |
27 | Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann |
Software engineering for parallel systems: the TRAPPER approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 349-358, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
TRAPPER, graphical programming environment, graphical design methodology, process graphs, cooperating sequential processes, homogeneous view, software engineering, formal specification, parallel programming, graphical user interfaces, monitoring, graphs, mapping, programming environments, software design, visual programming, software visualization, software performance evaluation, parallel systems, computer aided software engineering, parallel applications, performance monitoring, system monitoring, graphical notations, hierarchical specification, hardware configuration, development cycle, application partitioning |
27 | David W. Bustard, Adam C. Winstanley |
Making Changes to Formal Specifications: Requirements and an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 562-568, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control |
26 | Alan F. Blackwell |
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 5-8, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Matthias Erche, Michael Wagner 0006, Christian Hein |
Mapping visual notations to MOF compliant models with QVT relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1037-1038, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QVT relations, model transformation, domain specific languages, visual languages, OCL |
26 | Adam Geras, James Miller 0001, Michael R. Smith 0001, James Love |
A Survey of Test Notations and Tools for Customer Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings, pp. 109-117, 2005, Springer, 3-540-26277-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Henri Habrias, Sébastien Faucou |
Linking Paradigms, Semi-formal and Formal Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, pp. 166-184, 2004, Springer, 3-540-23611-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Amyot, Armin Eberlein |
An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 24(1), pp. 61-94, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
requirements, synthesis, scenario, use case, telecommunications, design model |
26 | Zinovy Diskin |
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 112-115, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Nicola Mastidoro |
The IntraText Digital Library: XML-Driven Online Library Based on High Accessibility, Lexical Hypertextualization and Scholarly Accuracy in Philological / Textual Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings, pp. 659, 2002, Springer, 3-540-44178-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Alan F. Blackwell, Carol Britton, Anna Louise Cox, Thomas R. G. Green, Corin A. Gurr, Gada F. Kadoda, Maria Kutar, Martin J. Loomes, Chrystopher L. Nehaniv, Marian Petre, Chris Roast, Chris Roe, Allan Wong, R. Michael Young |
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Technology ![In: Cognitive Technology: Instruments of Mind, 4th International Conference, CT 2001, Warwick, UK, August 6-9, 2001, Proceedings, pp. 325-341, 2001, Springer, 3-540-42406-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli |
Combining UML and formal notations for modelling real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 196-206, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML, UML, formal methods, real-time software |
26 | Claudia Pons, Gabriel Baum |
Formal Foundations of Object-Oriented Modeling Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 101-110, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Régine Laleau, Amel Mammar |
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 269-272, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Vincent Chung, John G. Hosking, Warwick B. Mugridge |
Visual Specification of 3D Notations Using 3DComposer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 198-199, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Dan Jonsson |
The flow of control notations pancode and boxcharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(8), pp. 106-119, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Jörg Kienzle, Wisam Al Abed, Jacques Klein |
Aspect-oriented multi-view modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 87-98, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation |
23 | Toshihiro Kanahori, Dominique Archambault, Masakazu Suzuki |
Universal Authoring System for Braille Materials by Collaboration of UMCL and Infty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 883-887, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Uri Dekel, James D. Herbsleb |
Notation and representation in collaborative object-oriented design: an observational study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 261-280, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collaborative software design, modeling, UML, representation, notation, OOD |
Displaying result #1 - #100 of 1265 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|