Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Executable specifications"" wg kryterium: Temat


Tytuł:
Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions
Autorzy:
Nikhil, Rishiyur S.
Pokaż więcej
Źródło:
High-Level Synthesis : From Algorithm to Digital Circuit. :129-146
Książka elektroniczna
Tytuł:
System-Level Modeling and Simulation with Intel® CoFluent™ Studio
Autorzy:
Barreteau, Anthony
Pokaż więcej
Źródło:
Complex Systems Design & Management : Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015. :305-306
Książka elektroniczna
Tytuł:
Functionally Modeled User Interfaces
Autorzy:
Courtney, Antony
Pokaż więcej
Źródło:
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers. 2844:107-123
Książka elektroniczna
Tytuł:
Towards the Refinement of Executable Temporal Objects
Autorzy:
Fisher, Michael
Pokaż więcej
Źródło:
Formal Methods for Open Object-based Distributed Systems : Volume 2. :439-454
Książka elektroniczna
Tytuł:
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style
Autorzy:
Sage, Meurig
Johnson, Chris
Pokaż więcej
Źródło:
Human-Computer Interaction INTERACT ’97 : IFIP TC13 International Conference on Human-Computer Interaction, 14th–18th July 1997, Sydney, Australia. :126-133
Książka elektroniczna
Tytuł:
ProFun — A Language for executable specifications
Autorzy:
Gehrke, Thomas
Huhn, Michaela
Pokaż więcej
Źródło:
Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings. 1140:304-318
Książka elektroniczna
Tytuł:
Squeezing intermediate construction in equational programs
Autorzy:
Miniussi, Alain
Sherman, David J.
Pokaż więcej
Źródło:
Partial Evaluation : International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. 1110:284-302
Książka elektroniczna
Tytuł:
Modeling and analysing DART systems through high-level Petri nets
Autorzy:
Nigro, Libero
Pupo, Francesco
Pokaż więcej
Źródło:
Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings. 1091:420-439
Książka elektroniczna
Tytuł:
Efficient search as a means of executing specifications
Autorzy:
Damon, Craig A.
Jackson, Daniel
Pokaż więcej
Źródło:
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings. 1055:70-86
Książka elektroniczna
Tytuł:
Development of a method driven CAS2E tool
Autorzy:
Lavi, Jonah Z.
Winokur, Michael
Pokaż więcej
Źródło:
Software Development Environments and CASE Technology : European Symposium Königswinter, June 17–19, 1991 Proceedings. 509:44-52
Książka elektroniczna
Tytuł:
How to Implement a Safe Real-Time System:The OBSERV Implementation of the Production Cell Case Study
Autorzy:
Tyszberowicz, Shmuel S.
Pokaż więcej
Źródło:
Real-Time Systems: The International Journal of Time-Critical Computing Systems. July 1998 15(1):61-90
Czasopismo naukowe

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies