Sciweavers

4476 search results - page 70 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
COMPSAC
1997
IEEE
15 years 5 months ago
Model-Based Architecture for the Intranet
Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanay...
EUROPLOP
2006
15 years 3 months ago
Meta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
León Welicki, Juan Manuel Cueva Lovelle, Lu...
COMPSAC
2002
IEEE
15 years 6 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
PST
2008
15 years 3 months ago
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...