215 search results - page 9 / 43 » A Seamless Model for Object-Oriented Systems Development |
107
click to vote
ENTCS
2008
14 years 11 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
101
click to vote
COMPSAC
1998
IEEE
15 years 3 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
ICRE
1996
IEEE
15 years 3 months ago
1996
IEEE
We stress the need of a domain-tailored requirements engineering method for the development of GISapplications. To this end, we discuss three GISapplication scenarios, the so-call...
114
click to vote
TOOLS
1991
IEEE
15 years 3 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
SCCC
1999
IEEE
15 years 3 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...