Sciweavers

7209 search results - page 273 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
93
Voted
ICSM
2002
IEEE
15 years 5 months ago
Maintaining Software with a Security Perspective
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
Kanta Jiwnani, Marvin V. Zelkowitz
FASE
2000
Springer
15 years 4 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
87
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
An environment for synchronous software development
Collaboration is essential for the development of complex software systems. When a team of developers is geographically distributed, collaboration aspects –such as awareness, co...
Lile Hattori, Michele Lanza
90
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
An Adaptive Software Architecture Model Based on Component-Mismatches Detection and Elimination
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
Shan Tang, Xin Peng, Yiming Lau, Wenyun Zhao, Zhix...
IWPC
1996
IEEE
15 years 4 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...