Result 1 to 20 of 628 total
Automatic test generation for space. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 185-203, electronic only (2012).
1
A practical Event-B refinement method based on a UML-driven development process. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 357-360 (2012).
2
Specifying UML protocol state machines in Alloy. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 312-326 (2012).
3
An approach to measure understandability of extended UML based on metamodel. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-31127-7/pbk). Lecture Notes in Computer Science 7336, 100-115 (2012).
4
Modeling road traffic signals control using UML and the MARTE profile. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-31127-7/pbk). Lecture Notes in Computer Science 7336, 1-15 (2012).
5
Aspect weaving in UML activity diagrams: a semantic and algorithmic framework. (English)
Barbosa, Luís Soares (ed.) et al., Formal aspects of component software. 7th international workshop, FACS 2010, Guimarães, Portugal, October 14‒16, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27268-4/pbk). Lecture Notes in Computer Science 6921, 182-199 (2012).
6
Fixing generalization defects in {\sc UML} use case diagrams. (English)
Fundam. Inform. 115, No. 4, 327-356 (2012).
7
Tree based domain-specific mapping languages. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 492-504 (2012).
8
On the formalization of UML activities for component-based protocol design specifications. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 479-491 (2012).
9
Modeling fuzzy information in UML class diagrams and object-oriented database models. (English)
Fuzzy Sets Syst. 186, No. 1, 26-46 (2012).
10
Hybrid methodology for data warehouse conceptual design by UML schemas. (English)
Inf. Softw. Technol. 54, No. 4, 360-379 (2012).
11
Towards an ontology-based retrieval of UML Class Diagrams. (English)
Inf. Softw. Technol. 54, No. 1, 72-86 (2012).
12
OCL-Lite: finite reasoning on UML/OCL conceptual schemas. (English)
Data Knowl. Eng. 73, 1-22 (2012).
13
A model-based formalization of the textual notation for SDL-UML. (English)
Ober, Iulian (ed.) et al., SDL 2011: Integrating system and software modeling. 15th international SDL forum Toulouse, France, July 5‒7, 2011. Revised papers. Berlin: Springer (ISBN 978-3-642-25263-1/pbk). Lecture Notes in Computer Science 7083, 218-232 (2012).
14
An algorithmic development to minimize crossings in electronic circuits. (English)
J. Comput. Methods Sci. Eng. 11, No. 3, Suppl. 1, 149-162 (2011).
15
Design and generation of web services choreographies with time constraints. (English)
J. UCS 17, No. 13, 1800-1829, electronic only (2011).
16
Regression test selection techniques: a survey. (English)
Informatica, Ljubl. 35, No. 3, 289-321 (2011).
17
Assessing the influence of stereotypes on the comprehension of UML sequence diagrams: a family of experiments. (English)
Inf. Softw. Technol. 53, No. 12, 1391-1403 (2011).
18
An approach to identifying causes of implied scenarios using unenforceable orders. (English)
Inf. Softw. Technol. 53, No. 6, 666-681 (2011).
19
Modeling process-related RBAC models with extended UML activity models. (English)
Inf. Softw. Technol. 53, No. 5, 456-483 (2011).
20
Result 1 to 20 of 628 total
Start
Contact
Print
General Help
