Sciweavers

1251 search results - page 125 / 251
» A Method for Component-Based Software and System Development
Sort
View
APSEC
2001
IEEE
15 years 7 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge
LADC
2007
Springer
15 years 9 months ago
Security Patterns and Secure Systems Design
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
Eduardo B. Fernández
WER
2001
Springer
15 years 7 months ago
Using the Language Extended Lexicon to Support Non-Functional Requirements Elicitation
Although Non-Functional Requirements (NFR) have been present in many software development methods, they have been faced as a second or even third class type of requirement, frequen...
Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prad...
COMPSAC
2009
IEEE
15 years 10 months ago
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
127
Voted
SEFM
2005
IEEE
15 years 9 months ago
Safe Concurrency for Aggregate Objects with Invariants
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...