2748 search results - page 363 / 550 » Generating Object-Z Specifications from Use Cases |
156
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
164
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
137
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
A new imaging approach has been identified and studied in a preliminary way by simulation. The new approach is prompt gamma-ray imaging (PGI) and it is suggested for use on small ...
120
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
139
click to vote
PDC
2004
ACM
15 years 9 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...