606 search results - page 99 / 122 » A Practical Approach of Teaching Software Engineering |
103
Voted
ICRE
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
198
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
136
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
448
Voted
AC
1998
Springer
15 years 2 months ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
108
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...