1244 search results - page 239 / 249 » Software Quality and Productivity Improvement |
162
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
135
click to vote
ISSRE
2010
IEEE
15 years 9 days ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
101
click to vote
REFSQ
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
155
Voted
INFSOF
2011
14 years 8 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
122
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...