specifications

1La chaleur

1Répondre

JML: Comment spécifier une exigence d'un tableau avec des éléments en croissant?

Je veux faire en JML: //@ requires (\forall int i : array[i] < array[i+1]) void calculatesDistances(int[] array){ .. } Je ne pouvais pas le faire fonctionner, a vu beaucoup d'exemples dans les sp

0La chaleur

3Répondre

Existe-t-il un moyen de vérifier les spécifications d'un ordinateur et d'imprimer les résultats avec le démarrage PXE?

Donc au travail, nous vérifions les spécifications de l'ordinateur, et avons besoin de les imprimer dans un format standard. Je sais déjà comment configurer un serveur PXE, mais je me demandais s'il é

2La chaleur

1Répondre

Écrire des spécifications de qualité avec SpecFlow (ou un outil équivalent)

Je joue avec SpecFlow depuis quelques jours. Pendant ce temps, j'ai réalisé que je devrais écrire des spécifications de qualité pour ces systèmes. Est-ce que quelqu'un pourrait me diriger vers quelque

0La chaleur

3Répondre

tpm spec call uname -r

Lorsque j'installe mon application, je voudrais copier certains fichiers au /lib/modules/KERNEL_VERSION/extra. Le problème est bien sûr que KERNEL_VERSION n'est pas corrigé. Je peux le trouver en appe

0La chaleur

1Répondre

Où puis-je trouver une spécification pour le protocole de débogage Flash?

Où puis-je trouver une spécification pour le protocole de débogage Flash/ActionScript? J'imagine que le protocole est public, car il y a beaucoup de débogueurs open source; cependant, si ce n'est pas

0La chaleur

1Répondre

Rspec et rails: Problèmes lors du test des bibliothèques dans le répertoire lib

J'ai des classes dans le répertoire lib, et je veux le tester. Ma classe que je veux tester ressemble à: class StatAggregation class << self def skills_rate(user_id) user_id = User.fin

6La chaleur

3Répondre

Raisonnement derrière OverflowException levé avec la taille de tableau négative?

Après l'écriture de code qui peut se résumer à ce qui suit: var size=-1; var arr=new byte[size]; J'ai été surpris qu'il a jeté un OverflowException. Les documents pour OverflowException état: The e

0La chaleur

1Répondre

L'OMG fournit-il une version de la spécification MOF 2 en tant que document XMI?

Je n'arrive pas à en trouver un sur le site de l'OMG. J'ai besoin de ce document pour bootstrapping le modèle M3, donc je peux charger le métamodèle UML (M2) http://www.omg.org/spec/MOF/2.0/ je peux c

1La chaleur

1Répondre

Exigences du logiciel Spécification pour les rapports

rapports, en général, les composants suivants: Titre du rapport Emplacement physique (référentiel, lecteur réseau ou système de fichiers du serveur web) Paramètres (cachés et de l'utilisateur -Livré)

0La chaleur

1Répondre

Informations supplémentaires de peu d'informations sur le fichier PNG

Pourriez-vous dire où je peux trouver des informations sur les distinctions de bas niveau dans l'enregistrement des fichiers PNG dans différents éditeurs, les moyens de masquer des informations supplé