4880 search results - page 507 / 976 » Manuals as Structured Programs |
175
click to vote
SIGADA
2004
Springer
16 years 11 days ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
224
click to vote
ICSM
2003
IEEE
16 years 9 days ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
185
click to vote
QSIC
2003
IEEE
16 years 9 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
177
click to vote
STEP
2003
IEEE
16 years 9 days ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
179
click to vote
CICLING
2003
Springer
16 years 8 days ago
2003
Springer
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...