Sciweavers

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

Source Code
405views
17 years 1 months ago
ORION
ORION is a software package for the morphological reconstruction of neurons from confocal and multiphoton microscopy data.
125
Voted
FSTTCS
2009
Springer
15 years 11 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 4 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 8 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
15 years 10 months 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