„Programming Languages“

Suchergebnisse

7.502 Treffer

• Guest editorial
  Jézéquel, Jean-Marc ; Hussmann, Heinrich
• VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
  Varró, Dániel ; Pataricza, András
• Systematic stereotype usage
  Atkinson, Colin ; Kühne, Thomas ; Henderson-Sellers, Brian
• Assessing model quality
  France, Robert ; Rumpe, Bernhard
• Use cases – Yesterday, today, and tomorrow
  Jacobson, Ivar
• Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams
  Hausmann, Jan Hendrik ; Heckel, Reiko ; Sauer, Stefan
• Reconciling software requirements and architectures with intermediate models
  Grünbacher, Paul ; Egyed, Alexander ; Medvidovic, Nenad
• Plug-and-play composition of features and feature interactions with statechart diagrams
  Prehofer, Christian
• Modeling Paradigms
  France, Robert ; Rumpe, Bernhard
• State-based versus event-based specifications for information systems: a comparison of B and eb3
  Fraikin, Benoît ; Frappier, Marc ; Laleau, Régine
• Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications
  Sikorski, Marcin
• Investigating a file transfer protocol using CSP and B
  Evans, Neil ; Treharne, Helen
• Introduction
  Bolognesi, Tommaso ; Derrick, John
• Precise visual modeling: A case-study
  Howse, John ; Schuman, Steve
• Testing Web applications by modeling with FSMs
  Andrews, Anneliese A. ; Offutt, Jeff ; Alexander, Roger T.
• Specifying business rules in object-oriented analysis
  Devos, Frank ; Steegmans, Eric
• Towards designing a green data center farm for Internet services: Iran’s case study
  Momtazpour, Mahmoud
• Study on predicting sentiment from images using categorical and sentimental keyword-based image retrieval
  Seo, Sanghyun ; Kang, Dongwann
• Internet of surveillance: a cloud supported large-scale wireless surveillance system
  Alsmirat, Mohammad A. ; Jararweh, Yaser ; Obaidat, Islam ; Gupta, Brij B.
• Analytical performance models for resource allocation schemes of cloudlet in mobile cloud computing
  Raei, Hassan ; Yazdani, Nasser