BibSonomy :: tag  ::

order by ( date | folkrank )

To allow users of one microblogging service to publish notices to users of another service, given the other users' permission.

About A decentralized unified messaging and data exchange project based on FOAF profiles. Goals * Decentralized Architecture * Human Client (...About A decentralized unified messaging and data exchange project based on FOAF profiles. Goals * Decentralized Architecture * Human Client (appropriate visualization, e.g. friends as avatars on desktop) Usecases (Protocol and API) * Find/Search a friend * Invite a friend * Authenticate (in order to see the details of a friend's profile) * Register a new identity * Become trusted * Hand over a file to a friend * Talk to a friend * Leave a message * Share Clipboard

This specification describes the FOAF language, defined as a dictionary of named properties and classes using W3C's RDF technology.

This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, ava...This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.

This document is the API specification for version 6 of the Java™ Platform, Standard Edition.

die twitter die!

The Publishing Requirements for Industry Standard Metadata (PRISM) specification defines a standard for interoperable content description, interchange, and...The Publishing Requirements for Industry Standard Metadata (PRISM) specification defines a standard for interoperable content description, interchange, and reuse in both traditional and electronic publishing contexts. PRISM recommends the use of certain existing standards, such as XML, RDF, the Dublin Core, and various ISO specifications for locations, languages, and date/time formats. Beyond those recommendations, it defines a small number of XML namespaces and controlled vocabularies of values, in order to meet the goals listed above.

Bibliographic Ontology Specification Group Home Discussions + new post Pages Files About this group Join this group

Antonia Bertolino and Alessandro Fantechi and Stefania Gnesi and Giuseppe Lami Software Product Lines - Research Issues in Engineering and Management, chapter 11, Springer-Verlag, (2006)

John Howse Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume5113ofLecture Notes in Computer Science, page1-20. Springer, (2008)

Christian Denger and Barbara Paech and Sebastian Benz 078.03/E. Fraunhofer IESE, Kaiserslautern, (2003)

Stephan Alexander Jacobs Seminararbeit, Universität Duisburg-Essen, (2007)

Daniel Jackson The MIT Press, (2006)

Wang Linzhang and Yuan Jiesong and Yu Xiaofeng and Hu Jun and Li Xuandong and Zheng Guoliang Software Engineering Conference, 2004. 11th Asia-Pacific, page284- 291. (2004)

C. Denger and M. Medina Mora (2003)

Satish Mishra CS&P 2006 - Concurrency, Specification and Programming, (2006) MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergeb...MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergebnisse automatisch generiert werden können. Die Wiederverwendung der Tests beschränkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden können und somit andere Varianten und den gemeinsamen Teil vollständig involvieren. .

Axel van Lamsweerde ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page147--159. New York, NY, USA, ACM, (2000) MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen. .

D. Peters and D. Parnas IEEE Transactions on Software Engineering24(3):161--173(1998) ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab. Grenzen werden bei dynamische Datenstruk...ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab. Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind. Die formale Spezifikation erscheint in den Beispielen sehr aufwendig. .