Sciweavers

1200 search results - page 51 / 240
» The Problem Frames Approach to Software Engineering
Sort
View
ICAIL
2007
ACM
14 years 17 days ago
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
Luca Compagna, Paul El Khoury, Fabio Massacci, Res...
IWPC
1996
IEEE
14 years 26 days ago
The Gadfly: An Approach to Architectural-Level System Comprehension
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
Kurt C. Wallnau, Paul C. Clements, Edwin J. Morris...
TAPSOFT
1997
Springer
14 years 26 days ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
SCAM
2008
IEEE
14 years 3 months ago
Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
Petru Florin Mihancea
AUIC
2004
IEEE
14 years 14 days ago
A Knowledge Management Approach to User Support
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...
R. T. Jim Eales