6348 search results - page 425 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
145
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
In 2001 we started a new project at our company. Undermanned, short on time, and under the gun to succeed, we knew that we needed a process that would help us stay on track. Unfor...
168
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
145
Voted
TACS
1991
Springer
15 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
168
click to vote
FOSSACS
2011
Springer
14 years 9 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
176
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...