19587 search results - page 127 / 3918 » Systems Engineering for software Engineers |
163
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...
119
Voted
EOR
2002
15 years 4 months ago
2002
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
116
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Thorough process improvement starts with an analysis of the current situation. This is also true for requirements engineering processes. The goal of cooperation between DaimlerChq...
155
Voted
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
150
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Given a document repository, search engine is very helpful to retrieve information. Currently, vertical search is a hot topic, and Google Scholar [4] is an example for academic se...