Sciweavers

1180 search results - page 81 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
115
Voted
IWPC
2002
IEEE
15 years 5 months ago
An Integrated Approach for Studying Architectural Evolution
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
Qiang Tu, Michael W. Godfrey
DRM
2007
Springer
15 years 6 months ago
Slicing obfuscations: design, correctness, and evaluation
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
Anirban Majumdar, Stephen Drape, Clark D. Thombors...
80
Voted
IUI
2000
ACM
15 years 5 months ago
Procedure based help desk system
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...
Akira Takano, Yuko Yurugi, Atsushi Kanaegami
110
Voted
APSEC
1999
IEEE
15 years 5 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
92
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale