6348 search results - page 647 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
199
click to vote
RE
2002
Springer
15 years 7 months ago
2002
Springer
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
237
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
194
Voted
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
222
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...
167
click to vote
VLSI
2010
Springer
15 years 2 months ago
2010
Springer
A novel Capacitor array structure for Successive Approximation Register (SAR) ADC is proposed. This circuit efficiently utilizes charge recycling to achieve high-speed of operation...