Sciweavers

4476 search results - page 19 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ICSE
2010
IEEE-ACM
15 years 2 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
FASE
2004
Springer
15 years 1 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
KBSE
2003
IEEE
15 years 2 months ago
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
James Skene, Wolfgang Emmerich
UML
2001
Springer
15 years 1 months ago
UML Modelling and Performance Analysis of Mobile Software Architectures
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
Vincenzo Grassi, Raffaela Mirandola
EUROMICRO
1999
IEEE
15 years 1 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent