8179 search results - page 403 / 1636 » The PRACTIONIST Development Tool |
144
click to vote
RE
2005
Springer
16 years 8 days ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
144
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use ...
142
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
174
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
159
Voted
WSC
2007
15 years 9 months ago
2007
Construction projects produce serious environmental pollution and great annoyance to the neighbouring community due to construction noise. This paper presents an application of th...