4917 search results - page 163 / 984 » Software Engineering is Not Computer Science |
122
Voted
ESAW
2000
Springer
15 years 6 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...
144
Voted
KBSE
2007
IEEE
15 years 9 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...
146
Voted
KBSE
2005
IEEE
15 years 8 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...
120
Voted
CBSE
2006
Springer
15 years 6 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...
131
click to vote
Source Code
ORION is a software package for the morphological reconstruction of neurons from confocal and multiphoton microscopy data.