5407 search results - page 217 / 1082 » The Software Engineering Global Model |
113
click to vote
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
124
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
151
Voted
AC
2004
Springer
15 years 3 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
132
click to vote
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes an experience with a Software Process Improvement (SPI) approach particularly adapted to small structures with low software maturity level (e.g. small and med...
95
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...