3819 search results - page 326 / 764 » An Outsourcing Model of Software Development |
175
click to vote
SIGCPR
2003
ACM
15 years 12 months ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
177
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
173
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
197
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
221
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...