Sciweavers

2741 search results - page 41 / 549
» Designing Law-Compliant Software Requirements
Sort
View
CORR
2010
Springer
211views Education» more  CORR 2010»
14 years 10 months ago
Studying the Feasibility and Importance of Software Testing: An Analysis
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
S. S. Riaz Ahamed
DEXAW
2008
IEEE
126views Database» more  DEXAW 2008»
14 years 11 months ago
Incorporating Database Systems into a Secure Software Development Methodology
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
Eduardo B. Fernández, Jan Jürjens, Nob...
PADL
2004
Springer
15 years 3 months ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....
SIGSOFT
1993
ACM
15 years 1 months ago
PLEIADES: An Object Management System for Software Engineering Environments
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
Peri L. Tarr, Lori A. Clarke
IFIP
2000
Springer
15 years 1 months ago
Test Case Design for the Validation of Component-Based Embedded Systems
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
W. Fleisch