1523 search results - page 179 / 305 » Software Development Improvement with SFIM |
271
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
160
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
— In this paper we realize a real-time communication on Ethernet and develop an onbody distributed control system for a humanoid robot, HRP-3P. Real-time communication on Etherne...
277
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
170
click to vote
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
151
click to vote
KBSE
2008
IEEE
16 years 23 days ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...