1623 search results - page 172 / 325 » Programming language concepts for software developers |
110
click to vote
ASWEC
2000
IEEE
15 years 7 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
160
Voted
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
146
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
In this paper, we examined the impact of project-level configurational choices of globally distributed software teams on project productivity, quality, and profits. Our analysis u...
113
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
137
click to vote
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...