Questa è l'app di Windows denominata Contract++ la cui ultima versione può essere scaricata come contractpp_0_4_1.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Contract++ con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI
Ad
Contratto++
DESCRIZIONE
**** QUESTA BIBLIOTECA È STATA SPOSTATA IN Boost ****Nuova sede: https://github.com/boostorg/contract
Programmazione a contratto C++ (nota anche come Design by Contract o DbC).
Sono supportate tutte le funzionalità di Eiffel: subappalto, valori vecchi e risultati postcondizione, compilazione del contratto opzionale, azione personalizzabile in caso di fallimento dell'asserzione, invarianti di blocco, varianti di loop, ecc.
Più specificatori virtuali, controllo dei concetti, parametri denominati.
Vedi: http://contractpp.sourceforge.net
Caratteristiche
- Supporto per precondizioni, postcondizioni, invarianti di classe, invarianti di blocco e varianti di ciclo.
- Classi derivate in subappalto (con supporto per funzioni virtuali pure ed ereditarietà multipla).
- Accedi ai valori precedenti dell'espressione e al valore restituito dalla funzione nelle postcondizioni.
- Compilazione e controllo facoltativi di precondizioni, postcondizioni, invarianti di classe, invarianti di blocco e varianti di ciclo.
- Azioni personalizzabili in caso di fallimento dell'asserzione del contratto (termina per impostazione predefinita ma può lanciare, uscire, ecc.).
- Specificatori virtuali.
- Controllo del concetto.
- Parametri denominati.
Pubblico
Sviluppatori, ingegneri della qualità
Linguaggio di programmazione
Eiffel, C++
Questa è un'applicazione che può essere scaricata anche da https://sourceforge.net/projects/contractpp/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
