Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Apple Rhapsody

Known as: Rhapsody, Rhapsody OS, Apple Rhapsody (operating system) 
Rhapsody was the code name given to Apple Computer's next-generation operating system during the period of its development between Apple's purchase… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
It has long been assumed that metacognition—thinking about one's own thoughts—is a uniquely human ability. Yet a decade of… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2005
Highly Cited
2005
This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to a model… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2005
2005
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic behavior of a system. This paper… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2005
Review
2005
State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 8
Highly Cited
2005
Highly Cited
2005
Three strawberry cultivars Elsanta, Cambridge Favourite and Rhapsody were inoculated with eitherGlomus fasciculatum orGlomus… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Highly Cited
2005
Highly Cited
2005
1. In The Beginning 2. Smiles, Winks, and Words 3. Truths and Lies 4. The Mind and Language 5. Signs and Symbols 6. Icons Gained… Expand
Highly Cited
2004
Highly Cited
2004
We describe the semantics of statecharts as implemented in the current version of the Rhapsody tool. In its original 1996 version… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2004
Highly Cited
2004
Object-oriented modeling plays an increasing role in the design of embedded controllers. Formal verification can be applied in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Review
2002
Review
2002
When creating real-time and embedded (RTE) systems, there is no room for error. The nature of the final product demands that… Expand
Highly Cited
2001
Highly Cited
2001
With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5