Sciweavers

3792 search results - page 506 / 759
» Techniques for Trusted Software Engineering
Sort
View
ISORC
2008
IEEE
16 years 1 months ago
Scenario Based Evaluation
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...
Nik Looker, David Webster, Duncan Russell, Jie Xu
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
16 years 26 days ago
Pareto optimal search based refactoring at the design level
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...
Mark Harman, Laurence Tratt
WECWIS
2006
IEEE
106views ECommerce» more  WECWIS 2006»
16 years 21 days ago
A Feature-based Approach to Electronic Contracts
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
Marcelo Fantinato, Maria Beatriz Felgar de Toledo,...
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
16 years 9 days ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan
CCS
2005
ACM
16 years 7 days ago
The framework of selective interleaving functions and the modular assembly kit
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
Heiko Mantel