Sciweavers

2057 search results - page 124 / 412
» Developing the Designer's Toolkit with Software Comprehensio...
Sort
View
QSIC
2007
IEEE
15 years 10 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
ICSE
2008
IEEE-ACM
16 years 4 months ago
Constructing difference tools for models using the SiDiff framework
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
Maik Schmidt, Tilman Gloetzner
SIGCSE
1997
ACM
131views Education» more  SIGCSE 1997»
15 years 8 months ago
The use of animation to explain genetic algorithms
Algorithm animation has been applied to a huge variety of algorithms, and has been found to be of enormous benefit in assisting with their comprehension. However, the radical natu...
David Jackson, Andrew Fovargue
ISPW
2007
IEEE
15 years 10 months ago
An Algebraic Approach for Managing Inconsistencies in Software Processes,
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, ...
ISPE
2003
15 years 5 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci