838 search results - page 50 / 168 » Should software engineers be licensed |
APSEC
2008
IEEE
13 years 12 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
CBSQ
2003
Springer
14 years 3 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...