Buscar
Mostrando ítems 11-20 de 4476
Extended UML stratecharts and product lines
(Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
"The study of variability in software development has become increasingly important in recent years. The research areas in which this is involved range from software specialization to product lines. A common mechanism to ...
Aspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z
(SLOVAK ACAD SCIENCES INST INFORMATICS, DUBRAVSKA CESTA 9, 84237 BRATISLAVA, SLOVAKIA, 2013)
A Spin / Promela Application for Model checking UML Sequence Diagrams
(2018)
UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...
Desenvolvimento de sistemas com model driven architecture
(Universidade Tecnológica Federal do ParanáMedianeira, 2012-03-23)
This paper describes and performs a study on Model Driven Architecture (MDA). An approach to software development driven models featuring different levels of abstraction in order to separate the conceptual architecture of ...
Uma investigação sobre o uso da UML Statechart para representar o comportamento de aplicações modeladas em Matlab/Simulink
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-12-13)
Embedded systems (ES) has become more important to everyday life due to technology advance and increasing application field. Engineers start ES development using tools like Matlab/Simulink. Usually, Simulink models are low ...