Resultats de la cerca

Normalment es distingeix entre correctesa parcial , que és l’acord entre el procediment especificat i allò executat, i la correctesa total , que afegeix a l’anterior una prova o garantia d’acabament de l’execució en un temps finit

La funció de les declaracions és múltiple d’una banda documenten el programa i n'augmenten la llegibilitat de l’altra, donen informació al compilador o al muntador de com o on ha de cercar les dades A més, les declaracions permeten que en temps d’execució es puguin comprovar certs errors semàntics, que sovint reflecteixen errors de plantejament de la programació, els anomenats errors lògics Tot i això, alguns llenguatges de programació, no tipats o feblement tipats, permeten l’ús d’elements no definits Basic, C, mentre que els llenguatges fortament tipats exigeixen declaracions…

Exemples d’especificacions són temps d’execució, quantitat de dades d’entrada o sortida, nom de l’usuari, prioritat que cal donar a la feina, etc

L’execució implica treballar les terres, disposar-les en planures, pendissos i feixes i deixar-les a punt per a ésser adossades i rasclonades Les terres són adobades i després el jardiner distribueix els vegetals prevists al projecte i els planta arbres, arbusts, plantes menors i, per fi, plantes de flor La conservació comprèn el reg copiós a la primavera i a l’estiu i més espaiat a la tardor i a l’hivern, la neteja del jardí, el tallat i la poda moderada de les plantes, la substitució de les que envelleixen o moren, la sega freqüent dels prats, etc La jardineria suposa també el…

Generalment, la velocitat d’execució del processador quan treballa amb aquest tipus d’operacions és significativament inferior a la que assoleix quan treballa amb operacions que fan servir coma fixa

El conegut garbell d’Eratòstenes per a determinar quins nombres d’un conjunt són primers és una iteració en cada pas se suprimeixen els nombres divisibles per un nombre determinat i els passos es van repetint, canviant el valor del divisor, fins que ja no es puguin suprimir més elements del conjunt La iteració és una de les estructures principals dins el paradigma de la programació imperativa El conjunt de passos que es van repetint s’anomena cos de la iteració, i la condició d’aturada de la repetició, condició de la iteració les condicions que compleixen les dades després de cada …

L’ús d’una biblioteca permet escriure programes usant fragments preescrits els presents a la biblioteca El moment d’incorporació de les unitats usades de la biblioteca al codi executable final depèn del tipus d’unitat potser les més conegudes són les unitats compilades, que s’incorporen durant el procés de muntatge Altres tipus d’unitats s’incorporen durant la compilació per exemple, declaracions i particularitzacions de les definicions genèriques o durant l’execució

La majoria de les legislacions castiguen aquests fets per tal de garantir una eficaç execució de la funció pública Hom ha discutit el problema de la possible licitud o illicitud de la defensa contra les autoritats o llurs agents quan aquests, en l’exercici de llurs funcions, executen actes violents i de força i s’excedeixen en llurs atribucions El dret de resistir actes abusius ja era reconegut en el dret romà, i els intèrprets ensenyaren la mateixa doctrina que predomina actualment entre els autors i la jurisprudència de la majoria del països Normalment, les legislacions…

Aquesta conspiració, en la qual hi havia implicades nombroses persones militars, eclesiàstics i civils, no arribà a esclatar perquè un dels oficials italians de l’exèrcit napoleònic que havien de facilitar l’accés dels miquelets del Llobregat al castell de Montjuïc es posà al servei de la policia afrancesada i féu possible la detenció dels principals conjurats, cinc dels quals Joaquim Pou i Joan Gallifa —sacerdots—, Josep Navarro, Salvador Aulet i Joan Maçana foren jutjats per un consell de guerra i foren executats a la Ciutadella pel juny del 1809 El 1909 les seves restes foren traslladades…

Utilitzable per l’administració en el cas que l’administrat quedi sotmès a una obligació d’abstenir-se d’actuar o de suportar una determinada actuació, en els casos en què la llei expressament ho autoritzi i sempre tenint present els límits que imposen els drets i llibertats fonamentals garantits per la constitució