4917 search results - page 163 / 984 » Software Engineering is Not Computer Science |
143
Voted
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
166
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
169
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
143
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
159
click to vote
Source Code
ORION is a software package for the morphological reconstruction of neurons from confocal and multiphoton microscopy data.