Procesoare de Texte - Specificari Formale in VDM

Extras din licenta Cum descarc?

Procesoarele de texte sunt sisteme de pregatire a textelor pentru tiparire, utilizand calculatorul. Ele sunt inzestrate cu instrumente cu ajutorul carora: 
- se pot crea, salva si modifica documente; 
- exista comenzi care schimba formatul paginii; 
- putem crea o pagina de titlu;
- se definesc macroinstructiuni; 
- se editeaza text obisnuit, se culeg formule matematice; 
- se schimba caracteristicile fonturilor, fonturile;
- se pot reprezenta literele romanesti cu diacritice(in TEX);
- putem folosi simboluri matematice;
- desena, importa desene, fisiere;
- putem marca si transforma grafic un fragment de text;
- se marcheaza actualizarile in text,se asambleaza documente din fisiere separate,se gestioneaza fisiere.
In procesoare de texte ca WORD 6 pentru WINDOWS avem posibilitatea: 
- de a anula modificarile;
- putem folosi sistemul de asistenta Help(in Word);
- se finiseaza textele, se utilizeaza tehnica "drag and drop";
- facem un text mai atragator, il tiparim, putem verifica ortografia, sintaxa si dictionarul de sinonime;
- se formateaza randurile si paragrafele;
- se definesc marginile,tabulatorii si despartirea in silabe;
- se pun antetele si subsolurile la locul lor;
- putem folosi stilurile, organiza informatiile in tabele;
- putem organiza structurat documentul, tehnoredacta; 
- utiliza cadre si chenare;
- putem construi imagini;
- evidentia textele;
- se poate imbunatati imaginea textului, expanda si condensa textul;
- se administreaza date si documente;
- se face corespondenta;
- se gestioneaza documente mari;
- se pot defini macrocomenzi;
- se realizeaza o organizare proprie a programului (word).
1.2 TEX si LATEX
TEX a fost creat de Donald Knuth in 1977. LATEX este o varianta a TEX-ului,elaborata de Leslie Lamport. 
Precizare: 
Trebuie sa specificam de la inceput ca vom discuta, in principal, versiunea LATEX si realizarea ei pentru IBM PC numita emTEX, ambele datate dupa 14 august 1995.
Pe 3 iunie 1994 versiunea precedenta a LATEX-ului(nr. 2.09) a fost inlocuita oficial de versiunea noua LATEX2e. Cand vorbim despre LATEX avem deci in vedere LATEX2e. Versiunea veche trebuie mentionata explicit ca LATEX 2.09. emTEX-ul, de asemenea, a fost inlocuit de o versiune noua, aparuta la mijlocul lunii iulie 1995, si la care ne vom referi in continuare.
1.2.1 Principii generale:
Succesiunea operatiilor:
Procesul de pregatire a documentelor in LATEX este similar procesului de compilare a unui program scris intr-un limbaj de programare de nivel inalt. Se pregateste programul-sursa in macrolimbajul de nivel inalt, limbajul LATEX. In acest program textul propriu-zis este marcat utilizand instructiuni primitive, macro-comenzi definite in fisierele de stil, care se includ in caz de necesitate, precum si cele definite de utilizator insusi.
In toate variantele, se face apelul aceluiasi procesor de TEX, TEX-ul de baza. Procesorul TEX de baza executa circa 300 de instructiuni primitive ce tin de formatarea textelor,si " intelege " un macrolimbaj compus din aceste instructiuni. La apelul procesorului este incarcat si fisierul de format FMT cu macrodefinitii suplimentare.
Aspectul general al instructiunilor LATEX: 
Sintaxa generala a instructiunilor pentru toate sistemele TEX consta din bara inclinata inapoi 
(backslash)
dupa care urmeaza o litera sau o succesiune de litere. Instructiunile sunt sensibile la scrierea cu litere mici si mari.


Fisiere in arhiva (1):

  • Procesoare de Texte - Specificari Formale in VDM.DOC

Banii inapoi garantat!

Plateste in siguranta cu cardul bancar si beneficiezi de garantia 200% din partea Diploma.ro.


Descarca aceasta licenta cu doar 9 €

Simplu si rapid in doar 2 pasi: completezi adresa de email si platesti.

1. Numele, Prenumele si adresa de email:

Pe adresa de email specificata vei primi link-ul de descarcare, nr. comenzii si factura (la plata cu cardul). Daca nu gasesti email-ul, verifica si directoarele spam, junk sau toate mesajele.

2. Alege modalitatea de plata preferata:



* La pretul afisat se adauga 19% TVA.


Hopa sus!