Sciweavers

13137 search results - page 226 / 2628
» A Science of Software Design
Sort
View

Source Code
405views
17 years 2 months ago
ORION
ORION is a software package for the morphological reconstruction of neurons from confocal and multiphoton microscopy data.
FSTTCS
2009
Springer
16 years 1 months ago
Mediating for Reduction (on Minimizing Alternating Büchi Automata)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...
JSW
2006
112views more  JSW 2006»
15 years 6 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
CODES
2001
IEEE
15 years 10 months ago
Modeling and evaluation of hardware/software designs
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
Neal K. Tibrewala, JoAnn M. Paul, Donald E. Thomas
CAISE
2005
Springer
16 years 1 days ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly