Sciweavers

2682 search results - page 264 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
144
Voted
CAISE
2006
Springer
15 years 7 months ago
Designing Security Requirements Models Through Planning
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
Volha Bryl, Fabio Massacci, John Mylopoulos, Nicol...
123
Voted
JSW
2006
112views more  JSW 2006»
15 years 3 months ago
An Integrated Approach to Quality Achievement with Architectural Design Decisions
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...
Heeseok Choi, Youhee Choi, Keunhyuk Yeom
163
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
168
Voted
EKAW
1992
Springer
15 years 7 months ago
eQuality: An Application of DDucks to Process Management
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
Jeffrey Bradshaw, Peter Holm, Oscar Kipersztok, Th...
138
Voted
PDPTA
2004
15 years 5 months ago
Design of a Real-Time Scheduler for Kahn Process Networks on Multiprocessor Systems
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
Javed Dulloo, Philippe Marquet