Sciweavers

13137 search results - page 158 / 2628
» A Science of Software Design
Sort
View
FASE
2004
Springer
15 years 7 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
SEW
2005
IEEE
15 years 9 months ago
A Generative Style-driven Framework for Software Architecture Design
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
KBSE
2008
IEEE
15 years 10 months ago
Social thinking to design social software: A course experience report
Open-source development, social production, social networks and other factors change the way we understand software systems. The paper motivates the use of social thinking to desi...
Cédric Mesnage, Mehdi Jazayeri
137
Voted
HASE
1998
IEEE
15 years 8 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 9 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...