4919 search results - page 407 / 984 » A Process-Ontological Model for Software Engineering |
186
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
186
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
157
click to vote
COMPSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
175
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
163
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...