Sciweavers

18898 search results - page 334 / 3780
» The Making of a Software Engineer
Sort
View
AGILEDC
2007
IEEE
16 years 1 months ago
Common Areas At The Heart
In Christopher Alexander's pattern of this name, he says, “No social group—whether a family, a work group, or a school group—can survive without constant informal conta...
George Dinwiddie
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
EMSOFT
2011
Springer
14 years 6 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
SIGSOFT
2010
ACM
15 years 4 months ago
Through the looking glass of immaterial labor
Immaterial labor, which is a philosophical concept established by Maurizio Lazzarato and others for understanding the postFordism industry, refers to the process of producing the ...
Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto, Kou...
ICSP
1993
102views more  ICSP 1993»
15 years 8 months ago
A Structured Conceptual and Terminological Framework for Software Process Engineering
The importance of a clear conceptual and terminological framework for software process engineering and the shortcomings of previous clari cation attempts are discussed. A rst issu...
Jacques Lonchamp