Sciweavers

4919 search results - page 195 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
150
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
97
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
The story of moose: an agile reengineering environment
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...
CBSE
2007
Springer
15 years 9 months ago
Towards Composing Software Components in Both Design and Deployment Phases
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 ...
Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
120
Voted
DAGSTUHL
2006
15 years 5 months ago
Efficient Software Model Checking of Data Structure Properties
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...
Chandrasekhar Boyapati, Paul T. Darga
150
Voted
AC
2004
Springer
15 years 3 months ago
The Timeboxing process model for iterative software development
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...
Pankaj Jalote, Aveejeet Palit, Priya Kurien