15951 search results - page 21 / 3191 » Lawful software engineering |
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
ECIS
2004
14 years 11 months ago
2004
Requirements engineering is not straightforward for any software development team. Developing software when team members are located in widely distributed geographic locations pos...
FM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
ITICSE
2000
ACM
15 years 2 months ago
2000
ACM
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 2 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...