4258 search results - page 493 / 852 » Languages and Interactive Software Development |
138
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
131
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
139
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
128
Voted
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
193
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...