Sciweavers

8627 search results - page 418 / 1726
» Software Engineering Using RATionale
Sort
View
VSTTE
2005
Springer
16 years 8 days ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
ADAEUROPE
2004
Springer
16 years 6 days ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
RE
2004
Springer
16 years 4 days ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
SEKE
2004
Springer
16 years 4 days ago
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
José A. Cruz-Lemus, Marcela Genero, Jos&eac...
AUIC
2003
IEEE
16 years 3 days ago
An Empirical Study of Textual and Graphical Travel Itinerary Visualization using Mobile Phones
Mobile phones can be used to access personal and public information. Although most of these types of information are in textual form, an increasing number of service providers are...
Masood Masoodian, Nicholas Lane