By computer programming, I mean all sub-tasks involved in the global
and huge task programming. My main concern during the programming
activity is how to specify the program I'm developing using a formal
language such that my effort in the programming could be reduced and
directed to the key aspects of the chosen abstraction to realize
the solution of the problem.
I'm using Temporal Logic of Actions aka
TLA to achieve the formal specification goal. I'm very impressed
with the results because the logical aspects of the program are
pretty clear in my mind when the specification is done, eliminating a
lot of refactoring in the implementation phase. Indeed, TLA can be
used to test all reachable states of the model.
Another key aspect of the programming activity is the documentation,
and to reduce the mismatch of documentation written apart from the
code, I've been using
CWEB
program, and it is amazing how the documentation is being improved
with the help of this marvelous tool associated with the concept of
literate programming
created by
Prof. Donald E. Knuth.
As an example, I become available the pidcon project
documention.
Talks
Palestra sobre o software BerkeleyDB
(2010-09-13);
Talk about TeX and LaTeX that I gave in
a class about preparation of scientific manuscripts (2010-04-28).
System Administration
My main role in my job is administer a couple of servers in my
department and guarantee the availability of network services. Lately,
I'm doing this.
Talk
Palestra sobre LDAP (Lightweight
Directory Protocol) (2010-09-14).
Complex Networks
Part of my interest in
Complex Networks can
be represented by the papers below:
